Ologs: a categorical framework for knowledge representation

02/09/2011
by   David I. Spivak, et al.
0

In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relational database schema; in fact an olog can serve as a data repository if desired. Unlike database schemas, which are generally difficult to create or modify, ologs are designed to be user-friendly enough that authoring or reconfiguring an olog is a matter of course rather than a difficult chore. It is hoped that learning to author ologs is much simpler than learning a database definition language, despite their similarity. We describe ologs carefully and illustrate with many examples. As an application we show that any primitive recursive function can be described by an olog. We also show that ologs can be aligned or connected together into a larger network using functors. The various methods of information flow and institutions can then be used to integrate local and global world-views. We finish by providing several different avenues for future research.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

06/02/2017

Knowledge Representation in Bicategories of Relations

We introduce the relational ontology log, or relational olog, a knowledg...
03/12/2010

Inductive Logic Programming in Databases: from Datalog to DL+log

In this paper we address an issue that has been brought to the attention...
02/20/2015

An Approach For Transforming of Relational Databases to OWL Ontology

Rapid growth of documents, web pages, and other types of text content is...
06/16/2021

Semantic sentence similarity: size does not always matter

This study addresses the question whether visually grounded speech recog...
10/18/2018

Semantic Integration in the Information Flow Framework

The Information Flow Framework (IFF) is a descriptive category metatheor...
07/02/2020

ER model Partitioning: Towards Trustworthy Automated Systems Development

In database development, a conceptual model is created, in the form of a...

Code Repositories

Category_Theory_for_scientist

Trabajo complementario


view repo
This week in AI

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