Описова логіка

Описо́ві ло́гіки (англ. Description logics, іноді ще їх називають дескрипці́йними логіками) — сімейство мов представлення знань, що дозволяють описувати поняття предметної області в недвозначному, формалізованому вигляді. Будь яка описова логіка є також логікою першого порядку, але не навпаки. Останнім часом зріс інтерес до описових логік через просування семантичної павутини.

Синтаксис

Базові елементи

• Множина класів NC
• Множина індивідуумів NI
• Множина відношень NR

Конструювання складних класів

Файл:Descriptionallogic.svg

Описова логіка схематично

За допомогою операцій із простіших класів формуються складніші. Існують такі операції:

• A or B
• A and B
• not A
• forall R.C
• exists R.C

Дивіться також

• Числення висловлень
• Багатозначна логіка
• Нормативна логіка
• Деонтична логіка
• Модальна логіка

Джерела

• Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3
• Ивин А. А., Никифоров А. Л. Словарь по логике — М.: Туманит, ВЛАДОС, 1997. — 384 с. — ISBN 5-691-00099-3
• MindMap описової логіки (формат FreeMind)
• О формальных основах OWL