FOLE的ERA：超结构

本文讨论在一阶逻辑环境FOLE中表示本体。本体定义了用于为话语社区建模知识资源的原语。这些原语包括类、关系和属性。本体使用形式公理来约束这些原语的解释。简而言之，本体指定了一个逻辑理论。本文继续讨论在一阶逻辑环境FOLE中本体的表示和解释。(多类)一阶逻辑的形式和语义可以以分类形式和解释形式开发。两篇论文《The ERA of FOLE: Foundation》定义结构概念，和当前论文定义可靠逻辑概念，代表分类形式，对应于“信息流框架”中讨论的思想。两篇论文《The FOLE Table》定义关系表概念，《The FOLE Database》定义关系数据库概念，代表解释形式，扩展了《Database Semantics》论文中的材料。尽管分类形式遵循Chen的实体-关系-属性数据模型，解释形式结合了Codd的关系数据模型。第五篇论文《FOLE Equivalence》证明分类形式等价于解释形式。一般而言，FOLE表示使用概念结构方法，完全兼容理论机构、形式概念分析和信息流。