オントロジー (情報科学)
属性または関係の変化
オントロジーはオントロジー言語(英語版)を使って共通にコード化される。
オントロジーがアプリケーションのそのドメインを記述する全体的理論を一緒に構成する、論理形式における(ルールを含む)仮定。この定義は、生成文法や数理論理学における公理の形式とは異なる。それらの専門分野では、公理は先験的知識と仮定されたステートメントであるものだけを含む。ここで使う「公理」は、自明なステートメントから派生した理論も含む。