Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ologs: a categorical framework for knowledge representation   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.

37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
18
The categories of this paper are: econ