Semantics, Ontology and Explanation

要約

タイトル：意味論、オントロジー、説明

要約：

– 「意味論」と「オントロジー」は、科学文献だけでなく組織間のコミュニケーションでも「説明」と一緒に現れるようになってきている。
– しかし、これらの用語は重要な意味でオーバーロードされている。
– この論文では、私たちは特定の解釈の下で、これらの用語の強い関係について議論する。
– 具体的には、「オントロジーのアンパッキング」という説明の概念について議論し、シンボリックドメインの説明（概念モデル、知識グラフ、論理仕様など）を、それらの前提条件が真であるエンティティ（トゥルーメイカー）に基づいて説明することを目的としている。
– このアイデアを具体的に説明するために、関係のオントロジー理論を適用して、標準的なモデリング言語UMLでエンコードされた非常に単純なシンボリックモデルを説明（隠れた意味を明らかにする）する方法を説明する。
– このタイプの説明プロセスから得られたオントロジー駆動の概念モデルが、適切な意味論の相互運用性タスクを正しくサポートするために果たす重要な役割についても議論する。
– 最後に、哲学、科学、および人工知能の他の形式の説明とオントロジー解釈の関係についても議論する。

要約(オリジナル)

The terms ‘semantics’ and ‘ontology’ are increasingly appearing together with ‘explanation’, not only in the scientific literature, but also in organizational communication. However, all of these terms are also being significantly overloaded. In this paper, we discuss their strong relation under particular interpretations. Specifically, we discuss a notion of explanation termed ontological unpacking, which aims at explaining symbolic domain descriptions (conceptual models, knowledge graphs, logical specifications) by revealing their ontological commitment in terms of their assumed truthmakers, i.e., the entities in one’s ontology that make the propositions in those descriptions true. To illustrate this idea, we employ an ontological theory of relations to explain (by revealing the hidden semantics of) a very simple symbolic model encoded in the standard modeling language UML. We also discuss the essential role played by ontology-driven conceptual models (resulting from this form of explanation processes) in properly supporting semantic interoperability tasks. Finally, we discuss the relation between ontological unpacking and other forms of explanation in philosophy and science, as well as in the area of Artificial Intelligence.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI