Semantic interoperability via category theory

Authors:
Isabel Cafezeiro;Edward Hermann Haeusler
Affiliations:
Universidade Federal Fluminense, Niterói, Rua Passo da Patria, RJ;Pontifícia Universidade Católica, Gávea, Rio de Janeiro, RJ
Venue:
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Year:
2007

Citing 5
Cited 0

Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Ontology Learning for the Semantic Web

IEEE Intelligent Systems
Ontology mapping: the state of the art

The Knowledge Engineering Review
Progressive ontology alignment for meaning coordination: an information-theoretic foundation

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalizing Ontology Alignment and its Operations with Category Theory

Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.