Язык OWL DL

Материал из Энциклопедии.

Язык OWL DL {OWL}

OWL DL

Подъязык OWL, обладающий максимальными выразительными возможностями и не утрачивающий вычислительной полноты (гарантируется, что все следствия будут вычислены) и разрешимости системы рассуждений (все вычисления будут заканчиваться в конечное время). Название этого подъязыка - OWL DL (OWL Description Logics) определяется тем, что он имеет дело с логикой описаний – частным случаем разрешимого фрагмента логики первого порядка. Онтология, представленная средствами OWL DL, является онтологией в подъязыке OWL Full.