Abstract We approach the integration of manufacturing service capability databases using a different set of tools, specifically category theory (CT) and FQL, a functorial query language based on categorical mathematics. This work demonstrates the potential utility of...
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....
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...
