
TL;DR
This paper develops a formal mathematical framework for representing ontologies within the FOLE environment, connecting first-order logic, entity-relationship models, and relational databases.
Contribution
It introduces a rigorous mathematical basis for FOLE, including the notion of a FOLE relational table aligned with Codd's relational model.
Findings
Develops the concept of a FOLE relational table.
Provides a formal semantics for first-order logic in FOLE.
Connects FOLE with relational database interpretation.
Abstract
This paper continues the discussion of the representation of ontologies in the first-order logical environment FOLE. According to Gruber, an ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives, consisting of classes, relationships and properties, are represented by the entity-relationship-attribute ERA data model of Chen. An ontology uses formal axioms to constrain the interpretation of these primitives. In short, an ontology specifies a logical theory. A series of three papers by the author provide a rigorous mathematical representation for the ERA data model in particular, and ontologies in general, within FOLE. The first two papers, which provide a foundation and superstructure for FOLE, represent the formalism and semantics of (many-sorted) first-order logic in a classification form corresponding to ideas…
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
TopicsSemantic Web and Ontologies · Cognitive Computing and Networks · Advanced Database Systems and Queries
