The ERA of FOLE: Foundation

要約

タイトル: FOLEのERA: Foundation
要約：
– 論文は、ファーストオーダーロジック環境FOLEでオントロジーの表現について議論している。
– オントロジーは、論説のコミュニティにおける知識リソースをモデル化するための原始的な基盤を定義するもので、それにはクラス、関係、プロパティが含まれる。
– FOLEは、オントロジーの解釈を制約する形式的公理を使用する。つまり、オントロジーは論理理論を指定する。
– 論文では、FOLEのファーストオーダーロジック環境でのオントロジーの表現と解釈について議論を続けている。
– FOLE表現は、概念的構造アプローチを使用し、機関、形式的概念解析、情報フロー理論と完全に互換性がある。

要約：
– オントロジーは、コミュニティの論説のための知識リソースのモデル化に使用される基盤を定義する。
– FOLEは、形式的公理を使用してオントロジーの解釈を制約する。
– FOLEの表現は、概念的構造アプローチを使用し、機関、形式的概念解析、情報フロー理論と完全に互換性がある。

要約(オリジナル)

This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives consist of classes, relationships and properties. An ontology uses formal axioms to constrain the interpretation of these primitives. In short, an ontology specifies a logical theory. This paper continues the discussion of the representation and interpretation of ontologies in the first-order logical environment {\ttfamily FOLE}. The formalism and semantics of (many-sorted) first-order logic can be developed in both a \emph{classification form} and an \emph{interpretation form}. Two papers, the current paper, defining the concept of a structure, and “The {\ttfamily ERA} of {\ttfamily FOLE}: Superstructure”, defining the concept of a sound logic, represent the \emph{classification form}, corresponding to ideas discussed in the “Information Flow Framework”. Two papers, “The {\ttfamily FOLE} Table”, defining the concept of a relational table, and “The {\ttfamily FOLE} Database”, defining the concept of a relational database, represent the \emph{interpretation form}, expanding on material found in the paper “Database Semantics”. Although the classification form follows the entity-relationship-attribute data model of Chen, the interpretation form incorporates the relational data model of Codd. A fifth paper “{\ttfamily FOLE} Equivalence” proves that the classification form is equivalent to the interpretation form. In general, the {\ttfamily FOLE} representation uses a conceptual structures approach, that is completely compatible with the theory of institutions, formal concept analysis and information flow.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI