Post a Comment On: Sergi Adamchuk's blog

Описова логіка (англ. Description logic) - сімейство мов для представлення баз знань, який можна використовувати для формулювання визначень понять предметної області у структурованій і формально-обґрунтованій формі. Описова логіка викоритовується для проектування онтологій у Семантичному Вебі.
Часто описову логіку ще називають Дескрипційною логікою.

Синтаксис описової логіки складається з:
Множина унарних предикатних символів, які позначають імена понять. Множина бінарних зв'язків, які позначають імена відношень. Рекурсивні визначення одних понять на основі імен інших понять та імен відношень, використовуючи конструктори. До конструкторів можуть відноситись з одного боку операції над поняттями (аналогічно операціям над множинами: об'єднання, доповнення, перетин тощо) чи накладання обмежень на відношення (транзитивніть, рефлексивність, функціональність і т.п.).

Основні задачі описової логіки:
узагальнення - визначити на основі означень чи є одне поняття підпоняттям іншого класифікація - визначити відповідності об'єкта поняттю перевірка несуперечливості концепції - чи виконувані з точки зору логіки критерії визначення поняття Однією з найважливіших характерних особливостей описових логік є їх акцент на практичну можливість логічного виведення. Рішення будь якої задачі здійснюється шляхом її опису з наступним виконанням запиту щодо того, чи є ця задача узагальненням однієї із кількох можливих категорій рішень. У стандартних системах логіки першого порядку часто неможливо передбачити час вироблення рішення, а користувачу найчастіше самостійно доведеться розробити представлення, яке дозволяє виключити множину висловлювань, які найімовірніше змусять систему потратити кілька тижнів щоб вирішити поставлену задачу. З іншого боку у описових логіках все спрямовано на забезпечення того, щоб перевірка узагальнення могла бути вирішена за час, поліноміально залежний від розміру описів.
UPD У статті О формальных основах OWL є доволі толковий опис описової логіки.
На основі цієї статті шпаргалка описових логік (FreeMind):
[Image]