A KIF Formalization for the IFF Category Theory Ontology

Details A KIF Formalization for the IFF Category Theory Ontology A KIF Formalization for the IFF Category Theory Ontology

2011-09-02

arxiv.org/abs/1109.0333v1

Computer Science

Logic in Computer Science

Paper presented at the Standard Upper Ontology workshop of the 17th International Joint Conference on Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A KIF Formalization for the IFF Category Theory Ontology does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A KIF Formalization for the IFF Category Theory Ontology, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A KIF Formalization for the IFF Category Theory Ontology will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-687314