English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

This paper discusses the representation of ontologies in the first-orderlogical environment {\ttfamily FOLE}. An ontology defines the primitives withwhich to model the knowledge resources for a community of discourse. Theseprimitives consist of classes, relationships and properties. An ontology usesformal axioms to constrain the interpretation of these primitives. In short, anontology specifies a logical theory. This paper continues the discussion of therepresentation and interpretation of ontologies in the first-order logicalenvironment {\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 {\ttfamily ERA} of {\ttfamilyFOLE}: Foundation'', defining the concept of a structure, and the currentpaper, 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 ``DatabaseSemantics''. Although the classification form follows theentity-relationship-attribute data model of Chen, the interpretation formincorporates the relational data model of Codd. A fifth paper ``{\ttfamilyFOLE} Equivalence'' proves that the classification form is equivalent to theinterpretation form. In general, the {\ttfamily FOLE} representation uses aconceptual structures approach, that is completely compatible with the theoryof institutions, formal concept analysis and information flow.

The ERA of FOLE: Superstructure