Описательная логика

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

Множество классов NC
Множество индивидуумов NI
Множество отношений NR

Конструирование сложных классов
Описательная логика схематически С помощью операций с простых классов формируются сложные. Существуют следующие операции:

A or B
A and B
not A
forall RC
exists RC