A KIF Formalization for the IFF Category Theory Ontology

09/02/2011
by   Robert E. Kent, et al.
0

This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper Ontology (SUO). This SUO structural level can be used as a logical framework for manipulating collections of ontologies in the object level of the SUO or other middle level or domain ontologies. From the Information Flow perspective, the SUO structural level resolves into several metalevel ontologies. This paper discusses a KIF formalization for one of those metalevel categories, the Category Theory Ontology. In particular, it discusses its category and colimit sub-namespaces.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/17/2018

The Institutional Approach

This chapter discusses the institutional approach for organizing and mai...
research
10/10/2018

The IFF Foundation for Ontological Knowledge Organization

This paper discusses an axiomatic approach for the integration of ontolo...
research
10/18/2018

Semantic Integration in the Information Flow Framework

The Information Flow Framework (IFF) is a descriptive category metatheor...
research
09/29/2015

Towards Unveiling the Ontology Key Features Altering Reasoner Performances

Reasoning with ontologies is one of the core fields of research in Descr...
research
03/30/2016

Iterated Ontology Revision by Reinterpretation

Iterated applications of belief change operators are essential for diffe...
research
05/11/2023

CatE: Embedding 𝒜ℒ𝒞 ontologies using category-theoretical semantics

Machine learning with Semantic Web ontologies follows several strategies...
research
12/23/2015

The ERA of FOLE: Foundation

This paper discusses the representation of ontologies in the first-order...

Please sign up or login with your details

Forgot password? Click here to reset