Knowledge Representation in Bicategories of Relations

Jun 2, 2017 | Resources

Abstract 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....

Algebraic Databases

May 27, 2017 | Technical Papers

Abstract We generalize the set-valued functor model by using multi-sorted algebraic theories. This easily accommodates missing information (null values), and allows queries to make use of data operations such as multiplication or comparison. We show how all the...