Формальный язык, используемый для построения онтологий
В информатике и искусственном интеллекте языки онтологий — это формальные языки, используемые для построения онтологий . Они позволяют кодировать знания о конкретных доменах и часто включают правила рассуждений, которые поддерживают обработку этих знаний. Языки онтологий обычно являются декларативными языками , почти всегда являются обобщениями языков фреймов и обычно основаны либо на логике первого порядка , либо на логике описаний .
Классификация языков онтологии
Классификация по синтаксису
Традиционные языки онтологии синтаксиса
- Общая логика и ее диалекты
- ЦиклЛ
- ДОГМА (Разработка методов и приложений, основанных на онтологии)
- F-Logic (Логика кадра)
- FO-dot (Логика первого порядка, расширенная типами, арифметикой, агрегатами и индуктивными определениями)
- KIF (формат обмена знаниями)
- KL-ONE
- язык программирования КМ
- LOOM (онтология)
- OCML (язык операционного концептуального моделирования)
- OKBC ( Открытая база знаний )
- PLIB (библиотека деталей)
- ГОНЩИК
Языки онтологии разметки
Эти языки используют схему разметки для кодирования знаний, чаще всего с помощью XML .
Контролируемые естественные языки
Открытый словарный запас естественных языков
- Исполняемый английский [2]
Классификация по структуре (тип логики)
На основе рамок
Три языка являются полностью или частично фреймовыми языками.
Описание на основе логики
Описательная логика обеспечивает расширение языков фреймов , не заходя так далеко, чтобы совершить скачок к логике первого порядка и поддержке произвольных предикатов.
Gellish — это пример комбинированного языка онтологии и онтологии, основанной на логике описания. Он различает семантические различия между другими:
- типы отношений для отношений между понятиями (классами)
- типы отношений для отношений между индивидуумами
- типы отношений для отношений между индивидами и классами
Он также содержит конструкции для выражения запросов и коммуникативных намерений.
Основанный на логике первого порядка
Несколько языков онтологии поддерживают выражения в логике первого порядка и допускают общие предикаты.
- Общая логика
- ЦиклЛ
- FO-dot (Логика первого порядка, расширенная типами, арифметикой, агрегатами и индуктивными определениями)
- КИФ
Смотрите также
Примечания
- ^ Кун, Тобиас. «Попытка контролируемого английского языка как языка онтологии». Ежегодное собрание REWERSE. 2006.
- ^ www.executable-english.com
Ссылки
- Оскар Корчо, Асунсьон Гомес-Перес, Дорожная карта к языкам спецификации онтологий (2000)
- Введение в логику описаний – курс DL от Энрико Франкони, факультет компьютерных наук, Свободный университет Больцано, Италия
