Knowledge Representation in Bicategories of Relations

06/02/2017
by   Evan Patterson, et al.
0

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. On a practical level, we show by example that relational ologs have a friendly and intuitive--yet fully precise--graphical syntax, derived from the string diagrams of monoidal categories. We explain several other useful features of relational ologs not possessed by most description logics, such as a type system and a rich, flexible notion of instance data. In a more theoretical vein, we draw on categorical logic to show how relational ologs can be translated to and from logical theories in a fragment of first-order logic. Although we make extensive use of categorical language, this paper is designed to be self-contained and has considerable expository content. The only prerequisites are knowledge of first-order logic and the rudiments of category theory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/23/2017

Functorial Semantics for Relational Theories

We introduce the concept of Frobenius theory as a generalisation of Lawv...
research
04/14/2022

The Forms of Categorical Proposition

An exhaustive survey of categorical propositions is proposed in the pres...
research
02/09/2011

Ologs: a categorical framework for knowledge representation

In this paper we introduce the olog, or ontology log, a category-theoret...
research
06/21/2023

ICAR, a categorical framework to connect vulnerability, threat and asset managements

We present ICAR, a mathematical framework derived from category theory f...
research
08/17/2023

Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems

Gottfried Leibniz embarked on a research program to prove all the Aristo...
research
05/17/2012

kLog: A Language for Logical and Relational Learning with Kernels

We introduce kLog, a novel approach to statistical relational learning. ...
research
03/19/2021

Relational Operations in FOLE

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

Please sign up or login with your details

Forgot password? Click here to reset