Loading article…
コンピュータ科学や人工知能において、オントロジー言語とは、オントロジーを構築するために使用される形式言語です。オントロジー言語は、特定のドメインに関する知識を符号化することを可能にし、多くの場合、その知識の処理をサポートする推論規則を含みます。オントロジー言語は通常、宣言型言語であり、ほぼ常にフレーム言語の一般化であり、一般的に一階述語論理または記述論理に基づいています。
これらの言語は、知識をエンコードするためにマークアップ方式を使用し、最も一般的なのはXMLです。
3つの言語は、完全に、あるいは部分的にフレームベースの言語である。
記述論理は、フレーム言語の拡張を提供するものであり、一階述語論理や任意の述語のサポートへと飛躍するほどではない。
Gellishは、記述論理に基づいた、オントロジー言語とオントロジーを組み合わせた例です。これは、以下のような意味的な違いを区別します。
また、質問やコミュニケーションの意図を表現するための構成要素も含まれています。
いくつかのオントロジー言語は、一階述語論理の式をサポートし、一般的な述語を許容する。