Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) ( Узнайте, как и когда удалить этот шаблон сообщения )
|
В информатике и искусственного интеллекта , онтология языки являются формальные языки используются для построения онтологий . Они позволяют кодировать знания о конкретных областях и часто включают правила рассуждений, которые поддерживают обработку этих знаний. Языки онтологий обычно являются декларативными языками , почти всегда являются обобщениями фреймовых языков и обычно основаны либо на логике первого порядка, либо на логике описания .
Классификация языков онтологий [ править ]
Классификация по синтаксису [ править ]
Языки традиционных синтаксических онтологий [ править ]
- Общая логика - и ее диалекты
- CycL
- ДОГМА (Разработка методов и приложений, основанных на онтологии)
- F-Logic (кадровая логика)
- KIF (формат обмена знаниями)
- Онтолингва на основе KIF
- KL-ONE
- Язык программирования KM
- LOOM (онтология)
- OCML (Оперативный концептуальный язык моделирования)
- OKBC ( подключение к открытой базе знаний )
- PLIB (Библиотека запчастей)
- ГОНЩИК
Языки онтологий разметки [ править ]
Эти языки используют схему разметки для кодирования знаний, чаще всего с помощью XML .
- ДАМЛ + НЕФТЬ
- Уровень вывода онтологии (OIL)
- Язык веб-онтологий (OWL)
- Структура описания ресурсов (RDF)
- Схема RDF (RDFS)
- ОБУВЬ
Контролируемые естественные языки [ править ]
- Попытка контролируемого английского языка [1]
Открытый словарь естественных языков [ править ]
- Исполняемый английский [2]
Классификация по структуре (типу логики) [ править ]
На основе кадра [ править ]
Три языка полностью или частично основаны на фреймах.
- F-Logic
- OKBC
- Км
Описание на основе логики [ править ]
Логика описания обеспечивает расширение языков фреймов , не заходя так далеко, чтобы перейти к логике первого порядка и поддержке произвольных предикатов.
- KL-ONE
- ГОНЩИК
- СОВА .
Gellish - это пример комбинированного языка онтологий и онтологии, основанного на логике описания. Он выделяет семантические различия среди других:
- типы отношений для отношений между концептами (классами)
- типы отношений для отношений между людьми
- типы отношений для отношений между людьми и классами
Он также содержит конструкции для выражения запросов и коммуникативного намерения.
На основе логики первого порядка [ править ]
Несколько языков онтологий поддерживают выражения в логике первого порядка и допускают общие предикаты.
- Общая логика
- CycL
- КИФ
См. Также [ править ]
- Теория предметной области
- Формальный анализ концепции
- Связь Галуа
- Решетка (заказ)
- Список языков представления знаний
- Язык моделирования
- OntoUML
Заметки [ править ]
- ^ Кун, Тобиас. « Attempto Controlled English как язык онтологий ». Ежегодное собрание REWERSE. 2006 г.
- ^ www.executable-english.com
Ссылки [ править ]
- Оскар Корчо, Асунсьон Гомес-Перес, Дорожная карта для языков спецификации онтологий (2000)
- Введение в логику описания - курс DL Энрико Франкони, факультет компьютерных наук, Свободный университет Больцано, Италия