Язык онтологий

Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) Эта статья, возможно, содержит оригинальные исследования . Пожалуйста, улучшите его , проверив сделанные утверждения и добавив встроенные цитаты . Заявления, содержащие только оригинальные исследования, следует удалить. ( Июль 2014 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален. Поиск источников:  «Язык онтологий»  -  новости  · газеты  · книги  · ученый  · JSTOR ( май 2017 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) Эта статья включает в себя список общих ссылок , но он остается в значительной степени непроверенным, поскольку в нем отсутствует достаточное количество соответствующих встроенных ссылок . Пожалуйста, помогите улучшить эту статью, добавив более точные цитаты. ( Май 2017 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) ( Узнайте, как и когда удалить этот шаблон сообщения )

В информатике и искусственного интеллекта , онтология языки являются формальные языки используются для построения онтологий . Они позволяют кодировать знания о конкретных областях и часто включают правила рассуждений, которые поддерживают обработку этих знаний. Языки онтологий обычно являются декларативными языками , почти всегда являются обобщениями фреймовых языков и обычно основаны либо на логике первого порядка, либо на логике описания .

Классификация языков онтологий [ править ]

Классификация по синтаксису [ править ]

Языки традиционных синтаксических онтологий [ править ]

• Общая логика - и ее диалекты
• 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

Заметки [ править ]

Ссылки [ править ]

• Оскар Корчо, Асунсьон Гомес-Перес, Дорожная карта для языков спецификации онтологий (2000)
• Введение в логику описания - курс DL Энрико Франкони, факультет компьютерных наук, Свободный университет Больцано, Италия