язык OWL DL. Справочник технического переводчика. Интент.

	язык OWL DL Подъязык OWL, обладающий максимальными выразительными возможностями и не утрачивающий вычислительной полноты (гарантируется, что все следствия будут вычислены) и разрешимости системы рассуждений (все вычисления будут заканчиваться в конечное время). Название этого подъязыка - OWL DL (OWL Description Logics) определяется тем, что он имеет дело с логикой описаний – частным случаем разрешимого фрагмента логики первого порядка. Онтология, представленная средствами OWL DL, является онтологией в подъязыке OWL Full. [http://www.elbib.ru/index.phtml?page=elbib/rus/methodology/xmlbase/glossary_XML/term_rus]
EN
FR

язык OWL DL