オントロジー (情報科学)
オントロジー言語(英語版)は、概念体系をコード化するため使われる、一つの形式言語である。私有や標準ベースの両方で、概念体系のための多くのそのような言語が存在する:
共通代数仕様言語(英語版) (CASL, Common Algebraic Specification Language) は、情報処理国際連合ワーキンググループ1.3『システム仕様の基礎 (WG 1.3 Foundations of System Specification) 』で開発され、そしてソフトウエア仕様の領域でのデファクト標準として機能する、汎用論理ベース仕様言語である。それは今、モジュール化と構造化メカニズムを提供するための概念体系仕様に適用されている。
共通論理(英語版) (CL, Common Logic)は、お互いに正確に変換し合えるオントロジー言語ファミリのための仕様である、ISO標準24707である。
Cycプロジェクトは、幾つかの高次の拡張を持つ一階述語論理に基づく、CycL(英語版)と呼ばれるそれ自身のオントロジー言語を持っている。
ある特定の形式で主張から描き出される論理的推論を記述する先行的結果の if-then文の形による表明
DOLCE, a Descriptive Ontology for Linguistic and Cognitive Engineering
Dublin Core, a simple ontology for documents and publishing
Foundational, Core and Linguistic Ontologies
Foundational Model of Anatomy, an ontology for human anatomy
Friend of a Friend, an ontology for describing persons, their activities and their relations to other people and objects
Gene Ontology for genomics
Gellish English dictionary, an ontology that includes a dictionary and taxonomy that includes an upper ontology and a lower ontology that focusses on industrial and business applications in engineering, technology and procurement. See also Gellish as Open Source project on SourceForge.
Program abstraction taxonomy program abstraction taxonomy
Protein Ontology for proteomics
Suggested Upper Merged Ontology, a formal upper ontology
Systems Biology Ontology (SBO), for computational models in biology
SWEET, Semantic Web for Earth and Environmental Terminology
ThoughtTreasure ontology
TIME-ITEM, Topics for Indexing Medical Education
UMBEL, a lightweight reference structure of 20,000 subject concept classes and their relationships derived from OpenCyc
WordNet, a lexical reference system
YAMATO, Yet Another More Advanced Top-level Ontology
The W3C Linking Open Data Community Project coordinates attempts to converge different ontologies into worldwide Data Web.