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