Описательные логики ( англ. Description logics, иногда еще их называют дескрипцийнимы логиками ) - семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленно, формализованном виде. Любая описательная логика является также логикой первого порядка, но не наоборот. В последнее время возрос интерес к описательных логик через продвижение семантической паутины.
Синтаксис
Базовые элементы
Множество классов NC
Множество индивидуумов NI
Множество отношений NR
Конструирование сложных классов
С помощью операций с простых классов формируются более сложные. Существуют следующие операции:
