Semantic Interoperability via Category Theory

Cafezeiro, I. and Haeusler, E.H.

    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.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS