This paper aims to bring the benefits of the use of
Category Theory to the field of Semantic Web, where
the coexistence of intrinsically different models of local knowledge makes difficult
the exchanging of information. The paper uses categorical limit and colimit to define operations of breaking and composing ontologies, formalizing usual concepts in ontologies (alignment, merge, integration, matching) and
proposing a new operation (the hide operation). The
presented set of operations form a useful framework
that makes easier the manipulation and reuse of ontologies.
|Cite as: Cafezeiro, I. and Haeusler, E.H. (2007). Semantic Interoperability via Category Theory. In Proc. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007 Auckland, New Zealand. CRPIT, 83. Grundy, J., Hartmann, S., Laender, A. H. F., Maciaszek, L. and Roddick, J. F., Eds. ACS. 197-202. |