FOLE的ERA：基础

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