The ERA of FOLE: Foundation
Robert E. Kent

TL;DR
This paper explores the formal representation of ontologies within the FOLE framework, integrating classification and interpretation forms to align with entity-relationship and relational data models, and proves their equivalence.
Contribution
It introduces a formalism for representing ontologies in FOLE, connecting classification and interpretation forms, and demonstrates their equivalence, advancing formal ontology modeling.
Findings
Classification form aligns with Chen's data model
Interpretation form incorporates Codd's relational model
Proves equivalence between classification and interpretation forms
Abstract
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,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRough Sets and Fuzzy Logic · Semantic Web and Ontologies · Biomedical Text Mining and Ontologies
