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

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

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

Общая логика и ее диалекты
ЦиклL
ДОГМА (Разработка методов и приложений, основанных на онтологии)
F-логика (кадровая логика)
FO-точка (логика первого порядка, расширенная типами, арифметикой, агрегатами и индуктивными определениями)
КАК (формат обмена знаниями)
- Онтолингва на основе КАК
КЛ-ОДИН
Язык программирования КМ
ткацкий станок (онтология)
OCML (язык оперативного концептуального моделирования)
OKBC ( подключение к открытой базе знаний )
PLIB (Библиотека деталей)
ГОНЩИК

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

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

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

Геллиш — это пример комбинированного языка онтологий и онтологии, основанной на логике описания. Он различает семантические различия между другими:

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

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

Общая логика
ЦиклL
FO-точка (логика первого порядка, расширенная типами, арифметикой, агрегатами и индуктивными определениями)
КАК

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

v т и Представление знаний и рассуждения
Backward chaining Case-based reasoning Commonsense reasoning Forward chaining Model-based reasoning Inference engines Proof assistants Knowledge engineering
Expert systems	CLIPS Connectionist expert systems Expert systems for mortgages Legal expert systems
Reasoning systems	Theorem provers Constraint solvers Deductive classifiers Logic programs Procedural reasoning systems Rule engines
Ontology languages	Attempto Controlled English CycL F-logic FO(.) Knowledge Interchange Format Web Ontology Language
Theorem provers	CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3
Constraint satisfaction	Constraint programming Constraint logic programming Local consistency SMT solvers
Automated planning	Motion planning Multi-agent planning Partial-order planning Preference-based planning Reactive planning State space planning

v т и Неклассическая логика
Intuitionistic	Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory
Fuzzy	Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations
Substructural	Structural rule Relevance logic Linear logic
Paraconsistent	Dialetheism
Description	Ontology (computer science) Ontology language
Many-valued	Three-valued Four-valued Łukasiewicz
Digital logic	Three-state logic Tri-state buffer Four-valued Verilog IEEE 1164 VHDL
Others	Dynamic semantics Inquisitive logic Intermediate logic Non-monotonic logic