FOLE Equivalence

by   Robert E. Kent, et al.

The first-order logical environment FOLE (Kent [5]) provides a rigorous and principled approach to distributed interoperable first-order information systems. FOLE has been developed in two forms: a classification form and an interpretation form. Two papers represent FOLE in a classification form corresponding to ideas of the Information Flow Framework discussed in (Kent [11] [12]) and (IFF [13]): the first paper (Kent [6]) provides a foundation that connects elements of the ERA data model (Chen [2]) with components of the first-order logical environment FOLE; the second paper (Kent [7]) provides a superstructure that extends FOLE to the formalisms of first-order logic. The formalisms in the classification form of FOLE provide an appropriate framework for developing the relational calculus. Two other papers represent FOLE in an interpretation form: the first paper (Kent [8]) develops the notion of the FOLE table following the relational model (Codd [3]); the second paper (Kent [9]) discusses the notion of a FOLE relational database. All the operations of the relational algebra have been rigorously developed (Kent [10]) using the interpretation form of FOLE. The present study demonstrates that the classification form of FOLE is informationally equivalent to the interpretation form of FOLE. In general, the FOLE representation uses a conceptual structures approach, that is completely compatible with formal concept analysis (Ganter and Wille [4]) and information flow (Barwise and Seligman [1]).



There are no comments yet.


page 1

page 2

page 3

page 4


The FOLE Table

This paper continues the discussion of the representation of ontologies ...

Relational Operations in FOLE

This paper discusses relational operations in the first-order logical en...

The ERA of FOLE: Foundation

This paper discusses the representation of ontologies in the first-order...

Relational Algebra and Calculus with SQL Null Values

The logic of nulls in databases has been subject of investigation since ...

Conceptua: Institutions in a Topos

Tarski's semantic definition of truth is the composition of its extensio...

Data Interpretation Support in Rescue Operations: Application for French Firefighters

This work aims at developing a system that supports French firefighters ...

The Logical Syntax of (IT) Architectures

Despite several (accepted) standards, core notions typically employed in...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.