Formalizing ontology alignment and its operations with category theory

Frontiers in Artificial Intelligence and Applications

Volumn 150, Issue , 2006, Pages 277-288

  Zimmermann, Antoine ^a   Krötzsch, Markus ^b   Euzenat, Jérôme ^a   Hitzler, Pascal ^b  

^a INRIA RHÔNE ALPES   (France)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Category theory; Ontology alignment

Indexed keywords

EID: 72749123939     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (24)

1. Jiří Adámek, Horst Herrlich, and George E. Strecker. Abstract and Concrete Categories (The Joy of Cats). web published, 2004.
2. James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
3. John Barwise and Jerry Seligman. Information flow: the logic of distributed systems. Number 44. Cambridge University Press, Cambridge, United Kingdom, 1997.
4. Trevor J. M. Bench-Capon and Grant Malcolm. Formalising ontologies and their relations. In Proc. 10th Database and Expert Systems Applications (DEXA'99), pages 250-259, 1999.
5. Philip A. Bernstein. Applying model management to classical meta data problems. In Proc. First Biennial Conference on Innovative Data Systems Research (CIDR'03), January 2003.
6. Paolo Bouquet, Jérôme Euzenat, Enrico Franconi, Luciano Serafini, Giorgos Stamou, and Sergio Tessaris. Specification of a common framework for characterizing alignment. Deliverable 2.2.1, Knowledge Web NoE, August 2004.
7. Jérôme Euzenat. An API for ontology alignment. In Proc. Third International Semantic Web Conference (ISWC), volume 3298 of LNCS, pages 698-712, Hiroshima, Japan, 2004. Springer-Verlag GmbH.
8. Joseph A. Goguen. Information integration in institutions. Paper for Jon Barwise memorial volume.
9. Joseph A. Goguen. Data, schema and ontology integration. In Workshop on Combination of Logics: Theory and Applications (CombLog'04), July 2004.
10. Joseph A. Goguen and Rod M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.
11. Pascal Hitzler, Jérôme Euzenat, Markus Krötzsch, Luciano Serafini, Heiner Stuckenschmidt, Holger Wache, and Antoine Zimmermann. Integrated view and comparison of alignment semantics. Deliverable, Knowledge Web NoE, August 2005.
12. Pascal Hitzler, Markus Krötzsch, Marc Ehrig, and York Sure. What is ontology merging? - a category-theoretic perspective using pushouts. In Proc. First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&O), pages 104-107. AAAI Press, July 2005.
13. Yannis Kalfoglou and Marco Schorlemmer. Information flow based ontology mapping. In On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE: Confederated International Conferences 2002, volume 2519 of LNCS, pages 1132-1151. Springer-Verlag GmbH, 2002.
14. Yannis Kalfoglou and Marco Schorlemmer. Ontology mapping: The state of the art. In Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2005. Internationales Begegnungs und Forschungszentrum.
15. Robert E. Kent. The information flow foundation for conceptual knowledge organization. In Proc. 6th International Conference of the International Society for Knowledge Organization (ISKO), 2000.
16. Robert E. Kent. The IFF foundation for ontological knowledge organization. Cataloging and Classification Quarterly, 37(1):187-203, 2003.
17. Dorel Lucanu. A logical foundation for the OWL languages. In Proc. First International Symposium on Leveraging Applications of Formal Methods (ISoLA), 2004.
18. Christopher Menzel. Basic semantic integration. In Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings. Internationales Begegnungs und Forschungszentrum, 2005.
19. Maria Cristina Pedicchio and Walter Tholen, editors. Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory, volume 97 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2004.
20. Benjamin C. Pierce. Basic Category Theory for Computer Scientists. Foundations of Computing. The MIT Press, Cambridge, MA, 1991.
21. Erhard Rahm and Philip A. Bernstein. A survey of approaches for automatic schema matching. The Very Large Data Base Journal, 10(4):334-350, December 2001.
22. David A. Randell, Zhan Cui, and Anthony Cohn. A spatial logic based on regions and connection. In Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 165-176. Morgan Kaufmann, 1992.
23. Pavel Shvaiko and Jérôme Euzenat. A survey of schema-based matching approaches. Journal on Data Semantics, 4:146-171, 2005.
24. Danladi Verheijen, Gio Wiederhold, Jan Jannink, and Srinivasan Pichai. Encapsulation and composition of ontologies. In Proc. 15th National Conference on Artificial Intelligence (AAAI'98), July 1998.