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