Язык онтологии
-
Основы языков онтологий
- Языки онтологий используются для формального описания знаний в информатике и ИИ.
- Они включают правила рассуждений для обработки знаний и часто основаны на логике первого порядка или логике описания.
-
Классификация языков онтологий
- По синтаксису: традиционные языки, общая логика, цикл, ДОГМА, F-логика, FO-dot, онтолингва, KL-ОДИН, язык программирования KM, ТКАЦКИЙ СТАНОК, OCML, OKBC, PLIB, гонщик.
- По структуре (логическому типу): основанные на фреймах, описание, основанное на логике, логика первого порядка, общая логика, Цикл, FO-dot, КИФ.
-
Примеры языков онтологий
- DAML+МАСЛО, Уровень вывода онтологии (МАСЛЯНЫЙ), Язык веб-онтологий (OWL), Структура описания ресурсов (RDF), Схема RDF (RDFS), гонщик, сова.
-
Дополнительные ресурсы
- Теория предметной области, Анализ формальной концепции, Соединение Галуа, Решетка (порядок), Язык моделирования, Онтумл, Записи, Рекомендации.
- Курс «Введение в логику описания» от Энрико Франкони.
Полный текст статьи: