Knowledge Representation in Bicategories of Relations

Understand

We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations.

• It is inspired by Spivak and Kent's olog, a recent categorical framework for knowledge representation.
• Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today.
• In this paper, we investigate relational ologs both for their own sake and to gain insight into the relationship between the algebraic and logical approaches to knowledge representation.