Towards arrow-theoretic semantics of ontologies: conceptories

Details Towards arrow-theoretic semantics of ontologies: conceptories Towards arrow-theoretic semantics of ontologies: conceptories

2010-08-07

arxiv.org/abs/1008.1309v1

Computer Science

Logic in Computer Science

Scientific paper

In context of efforts of composing category-theoretic and logical methods in the area of knowledge representation we propose the notion of conceptory. We consider intersection/union and other constructions in conceptories as expressive alternative to category-theoretic (co)limits and show they have features similar to (pro-, in-)jections. Then we briefly discuss approaches to development of formal systems built on the base of conceptories and describe possible application of such system to the specific ontology.

Affiliated with

Also associated with

No associations

Rating

Towards arrow-theoretic semantics of ontologies: conceptories 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 Towards arrow-theoretic semantics of ontologies: conceptories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards arrow-theoretic semantics of ontologies: conceptories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-593734