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

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

• 1 Классификация языков онтологий
  • 1.1 Классификация по синтаксису
    • 1.1.1 Традиционные синтаксические языки онтологий
    • 1.1.2 Языки онтологий разметки
    • 1.1.3 Управляемые естественные языки
    • 1.1.4 Открытый словарь естественных языков
  • 1.2 Классификация по структуре (типу логики)
    • 1.2.1 На основе фреймов
    • 1.2.2 Описание на основе логики
    • 1.2.3 На основе логики первого порядка
• 2 См. Также
• 3 Примечания
• 4 Ссылки

Классификация по синтаксису

Традиционные синтаксические языки онтологий

• Common Logic - и его диалекты
• CycL
• DOGMA (Разработка методов и приложений, основанных на онтологии)
• F-Logic (Frame Logic)
• KIF (Формат обмена знаниями)
  • на основе KIF
• KL-ONE
• KM pro язык граммирования
• LOOM (онтология)
• OCML (язык операционного концептуального моделирования)
• OKBC (Связь с открытой базой знаний )
• PLIB (Parts LIBrary)

Языки онтологий разметки

Эти языки используют схему разметки для кодирования знаний, чаще всего с XML.

• DAML + OIL
• Ontology Inference Layer (OIL)
• Web Ontology Язык (OWL)
• Структура описания ресурсов (RDF)
• Схема RDF (RDFS)
• SHOE

Контролируемые естественные языки

• Attempto Controlled English

Открыть словарь естественные языки

Классификация по структуре (типу логики)

На основе фреймов

Три языка полностью или частично основаны на фреймах.

• F-Logic
• OKBC
• KM

На основе логики описания

Логика описания обеспечивает расширение языков кадра, не заходя так далеко, чтобы перейти к логика первого порядка и поддержка произвольных предикатов.

• KL-ONE
• OWL.

Gellish является примером комбинированного языка онтологий и онтологии, основанного на логике описания. Он различает семантические различия среди других:

• типов отношений для отношений между концептами (классами)
• типов отношений для отношений между индивидами
• типов отношений для отношений между индивидами и классами

Он также содержит конструкции для выражения запросов и коммуникативных намерений.

на основе логики первого порядка

Несколько языков онтологий поддерживают выражения в логике первого порядка и допускают общие предикаты.

• Common Logic
• CycL
• KIF

• Теория предметной области
• Анализ формальных понятий
• Связь Галуа
• Решетка (порядок)
• Список языков представления знаний
• Язык моделирования
• OntoUML

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