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, 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.

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering

Towards Distributed Information Exchange: An Application From Xml To Owl

Extensions of Generic DOL for Generic Ontology Design Patterns

Multi-ontology Based System for Distributed Configuration.

Semantic web based distributed configuration

Parametric Ontologies in Formal Software Engineering

N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D).

Enhancing Data Use Ontology (DUO) for health-data sharing by extending it with ODRL and DPV

Formal Ontology Learning on Factual IS-A Corpus in English using Description Logics

The Datalog(Dl) Combination Of Deduction Rules And Description Logics

Design of an Ontology Language and the Ontology Building Tools

F -- A Model of Events based on the Foundational Ontology DOLCE+DnS Ultralite

Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

Using DSLs to manage consistency in long-lived enterprise language specifications

DatalogDL: Datalog Rules Parameterized by Description Logics

Ontohub: A semantic repository for heterogeneous ontologies

The ERA of FOLE: Foundation

Designing an Ontology for the Data Documentation Initiative

Declarative Ontology Alignment Format for Semantic Translation