この項目「オントロジー (情報科学)」は途中まで翻訳されたものです。（原文：Ontology (information science) 23:28, 7 May 2011 UTC）
翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2011年5月）

この記事では、情報学（information science）ないし情報科学（information science）におけるオントロジーについて述べる。知識をある議論領域（ドメイン）内の「概念」並びに「概念間の関係」のなす順序組とみなしたときの形式的表現であり、そのドメイン内のエンティティ（実体）を理由付けしたり、ドメインを記述するのに使われる。

「共有されている概念化の形式的・明示的仕様」[1]といったように言われることもある。オントロジーは、あるドメインをモデル化するために使われている語彙を提供する。それらはドメイン内に存在しているオブジェクトや概念の型、プロパティ、関係である[2]。

オントロジーは、情報を組織化する構造的フレームワークであり、世界またはその一部についての知識表現の形として、人工知能、セマンティックWeb、システム工学、ソフトウエア工学、バイオメディカルインフォマティクス、図書館情報学、エンタープライズ・ブックマーキング、および情報アーキテクチャ、その他で使われる。ドメイン・オントロジの生成はエンタープライズアーキテクチャフレームワークの定義と利用への基本である。
概要

「オントロジー」という用語は、哲学が起源であるが、多くの異なる意味で用いられる。単語『オントロジー』は、ギリシャ語で「存在」を意味する ?ν (on) から来ている。計算機科学では、タイプ、特性、および関係タイプのセットから成る世界を記述するためのモデルを指すことが多い。正確にこれらの変化の周りに準備されるものは様々だが、それらはオントロジーの必需品である。実世界と一つのオントロジーでのモデルの特徴との間の近い類似性が一般に期待されている[3]。

多くのオントロジーが計算機科学と哲学の両方で共通に持っているものは、エンティティ、アイデア、およびイベントに関する特性と関係とともに、それらをある分類システムに沿って表現することである。両方のフィールドで、存在論的相対性の問題（例えば、哲学ではQuineとKripke、計算機科学ではSowa（英語版）とGuarino（英語版））において重要な作業を見つけ出し、そして規範的（英語版）オントロジーが実行可能かどうかに関わる討議をする（例えば、哲学における基本[4]を議論し、AIにおけるCycプロジェクトを議論する）ことである。2つの間の相違は主として焦点の問題である。計算機科学者が第一次原則の議論（そのようなものが固定化された本質として存在するかどうか、あるいはエンティティがプロセスよりオントロジー的により一次的でなければならないかどうかのような議論）にあまり関わらない一方で、哲学者は計算機科学における研究者より固定化され統制された語彙を確立することにそれほど関心がない。哲学者は人間のための思考道具としてオントロジーを用いるのに対して、計算機科学者は計算機処理を考えるために人間が使う思考道具としてオントロジーを用いたいという立ち位置の違いによる。
歴史

歴史的に、オントロジーは、何が存在するかの存在の本質である形而上学として知られる哲学の分岐として発生した。