オントロジー (情報科学)
Gruberは、概念化の仕様を意味する用語を紹介した。すなわち、概念体系は、あるエージェントまたはエージェントのコミュニティのため公式に存在し得る、概念と関係性の(プログラムの公式仕様のような)記述である。この定義は概念定義のセットとしてオントロジーの用途と整合しているが、しかしより一般的である。そしてそれは、それを哲学で使うより用語の異なった感覚である。
Gruberによれば『オントロジーは時には、クラスの階層的分類体系(タキソノミ)、クラスの定義、及びその包括的関係と等価であるが、しかしオントロジーはそれらの形式を限定する必要はない』に従う。オントロジーはまた、用語を紹介するのみで世界についてどんな知識も付加することのない典型的な論理感覚での定義である、保守的定義に限定されない。概念化を規定するため、一つは、定義された用語の可能な解釈を制約する公理を述べることが必要である。
21世紀の初期に、認知科学の学際的プロジェクトが、共により近い2つの学者サークルに持ち込んだ。例えば、コンピュータ科学の研究者が、オントロジー(時には彼らの手法のため直接的結果)で作業するそれらの哲学者を更に参照する一方で、コンピュータ科学の公式なオントロジー(時にはソフトウエアの作業中ディレクトリでさえ)を分析する哲学者を含む『哲学におけるコンピュータ化の転向』の議論が存在する。未だに、これら両方の分野の多くの学者が、認知科学のこの傾向に係わり、そしてお互い独立に作業を続け、それらの異なる懸念を別々に追求している。