Loading article…
情報科学において、概念化とは、世界のある特定の部分についての抽象的で簡略化された見方であり、特定の目的にとって興味深いと想定されるオブジェクト、概念、その他のエンティティと、それらの関係性を含みます。[2] [3]概念化の明示的な仕様はオントロジーであり、概念化が複数の異なるオントロジーによって実現される場合もあります。[2]オントロジーの比較を記述する際の オントロジーコミットメントは、他のすべてのオントロジーと共有される要素のサブセットを指すものとされています。[4] [5] 「オントロジーは言語に依存し」、そのオブジェクトと相互関係は使用する言語内で記述されますが、概念化は常に同じで、より一般的であり、その概念は「記述に使用される言語とは無関係に」存在します。[6]これらの用語の関係は、右の図に示されています。
知識工学の研究者全員が「概念化」という用語を使用するわけではなく、概念化そのもの、またはその実現のすべてに対する存在論的コミットメントを包括的な存在論として言及する。[7]
目的と実施
概念化は、より高レベルの抽象化として、様々なオントロジーの議論と比較を容易にし、知識の共有と再利用を促進します。[7] [8]同じ包括的な概念化に基づく各オントロジーは、概念化を特定の要素とそれらの関係にマッピングします。
すると、複数のオントロジーを包含できる用語で「概念化」をどのように記述するかという疑問が生じます。この問題は「バベルの塔」問題と呼ばれています。つまり、あるオントロジーに慣れている人が、異なるオントロジーを使用する他の人とどのように話せるかということです。[3] [8]この問題は簡単に理解できますが、一般的な解決策はまだありません。それは「ボトムアップ」または「トップダウン」アプローチ、あるいはその中間のアプローチになる可能性があります。[9]
しかし、情報システムのようなより人工的な状況では、「概念化」という考え方と、その「概念化」を実現する様々なオントロジーの「オントロジー的コミットメント」が可能である。[6] [10]概念化とそのオントロジーの形成には、次の手順が含まれます。[11]
- 概念化の仕様
- オントロジーの概念: すべての定義は他の用語の定義を含む
- 概念間の関係: このステップでは概念関係をオントロジー構造にマッピングします
- 概念のグループ: このステップはサブオントロジーの作成につながる可能性がある
- オントロジーコミットメントの正式な記述（例えば、コンピュータで読み取り可能にする）
概念を言語に移して多様なオントロジーを生み出す例としては、プロセスを擬似コード（通常の言語を厳密に構造化した形式）で表現し、 LispやFortranなどのさまざまな正式なコンピュータ言語で実装することが挙げられます。擬似コードを使用すると、命令を理解したり実装を比較したりすることが容易になりますが、正式な言語を使用すると、アイデアをコンピュータの命令としてコンパイルすることができます。[引用が必要]
もう一つの例は数学です。数学では、非常に一般的な定式化（概念化の類似物）が、より専門的な例である「応用」で説明されます。たとえば、関数空間の側面は、概念化の「要素」の解釈とそれらの間の追加の関係を導入するが、関数空間で必要な接続を維持するベクトル空間または位相空間を使用して説明できます。[要出典]
参照
参考文献
- ^ この図は Guarino の図 1 および van Harmelen の講演のスライド 7 と類似点があります。Wayback Machineに 2009-05-30 にアーカイブされています。これらのソースはこの記事の参照資料の一部です。この図は Citizendium からインポートされています。
- ^ ab Gruber, Thomas R. (1993 年 6 月). 「ポータブル オントロジー仕様への変換アプローチ」(PDF) . Knowledge Acquisition . 5 (2): 199–220. CiteSeerX 10.1.1.101.7493 . doi :10.1006/knac.1993.1008. S2CID 15709015.
- ^ ab スミス、バリー (2003)。「第 11 章: オントロジー」(PDF)。ルチアーノ・フロリディ (編)。ブラックウェル コンピューティングと情報の哲学ガイド。ブラックウェル。pp . 155–166。ISBN 978-0631229186。
- ^ ロジャー・F・ギブソン (1999)。「存在論的コミットメント」。ロバート・オーディ編『ケンブリッジ哲学辞典』（ペーパーバック第2版）。ケンブリッジ大学出版局。631ページ。ISBN
978-0521637220。その定義の短縮版は次のようになります。
- 理論の存在論的コミットメントとは、その理論のすべての存在論に現れる事柄です。さらに説明すると、理論の存在論は、理論が利用するオブジェクトで構成されます。オブジェクトが省略されると理論が機能しなくなる場合、理論がオブジェクトに依存していることを示します。ただし、理論の存在論は必ずしも一意ではありません。理論は、そのオブジェクトがその理論のすべての存在論に現れる場合にのみ、オブジェクトに存在論的にコミットされます。また、理論は、そのクラスがそのすべての存在論に (必ずしも同じオブジェクトによってではないが) 存在する場合、オブジェクトのクラスに存在論的にコミットできます。[太字は追加]
- ^ Luigi Ceccaroni、Myriam Ribiere (2002)。「共同アプローチによるエージェントシティのユーティリティオントロジーのモデリング」(PDF)。AAMASワークショップの議事録。
引用文は以下のとおりです。
- 「研究者は...さまざまな研究分野から来ており、モデリングに関してもさまざまな視点を持っていますが、重要なことは、同じオントロジー的コミットメントを採用することを誓約したということです。つまり、オントロジー表現の背後にあるモデリングについては完全に同意していなくても、一般的なカテゴリを表現するために、共通の定義済みオントロジーを採用することに同意しているということです。オントロジー的コミットメントが欠如している場合、ドメインについて明確に会話したり、他の人が開発した知識表現から恩恵を受けたりすることは困難です...したがって、オントロジー的コミットメントはオントロジーエンジニアリングの不可欠な側面です。」[強調追加]
- ^ ab Guarino, Nicola (1998). 「情報システムにおける形式オントロジー」。Nicola Guarino (編)情報システムにおける形式オントロジー (FOIS '98 議事録、イタリア、トレント)。IOS Press。pp. 3 ff。ISBN 978-90-5199-399-8。
- ^ ab たとえば、Luigi Ceccaroni、Myriam Ribiere (2002)「共同アプローチによるエージェントシティのユーティリティオントロジーのモデリング」(PDF)を参照してください。AAMAS ワークショップの議事録。
- ^ ab Frank van Harmelen. 「オントロジーマッピング：バベルの医療塔からの脱出方法」（PDF） 。 2009年5月30日時点のオリジナル（PDF）からアーカイブ。 2013年8月2日閲覧。
- ^ 情報科学では、概念化を見つける（または概念化を避けて自動比較を使用する）ためのアプローチの 1 つは、「オントロジー アラインメント」または「オントロジー マッチング」と呼ばれます。たとえば、Jérôme. Euzenat、Pavel Shvaiko (2007) を参照してください。Ontology Matching。Springer。ISBN 978-3540496120。
- ^ ニコラ・グアリーノ;マッシミリアーノ・カラーラ。ピエルダニエーレ・ジャレッタ (1994)。 「存在論的コミットメントの形式化」(PDF)。ああああ。94 : 560–567。[永久リンク切れ ]
- ^ Maja Hadzic、Pornpit Wongthongtham、Elizabeth Chang、Tharam Dillon (2009)。「第 7 章: 統合システムの設計方法論 - パート I (オントロジー設計)」。オントロジーベースのマルチエージェント システム。Springer。111 ページ以降。ISBN 978-3642019036。
さらに読む
- Guizzardi, G (2007)。「オントロジー、オントロジー概念化、モデリング言語、(メタ)モデルについて」( PDF)。Olegas Vaselicas、Johan Edler、Albertas Caplinskas (編)。人工知能とアプリケーション、データベース、情報システムの最先端 IV。IOS Press。ISBN 978-1-58603-715-4。
- キャサリン・マン、バリー・スミス編 (2008)。応用オントロジー入門。Ontos Verlag。ISBN 978-3938793985。
外部リンク
- Obitko, Marek (2006–2007)。「概念化の仕様」。オントロジーとセマンティック ウェブ。
この記事には、Creative Commons Attribution-ShareAlike 3.0 Unported Licenseに基づいてライセンスされているが、GFDLに基づいてライセンスされていないCitizendium の記事「概念化 (情報科学)」の資料が組み込まれています。