DOOR - Towards a Formalization of Ontology Relations

Carlo Allocca, Mathieu d’Aquin, Enrico Motta



In this paper, we describe our ongoing effort in describing and formalizing semantic relations that link ontologies with each other on the Semantic Web in order to create an ontology, DOOR, to represent, manipulate and reason upon these relations. DOOR is a Descriptive Ontology of Ontology Relations which intends to define relations such as inclusion, versioning, similarity and agreement using ontological primitives as well as rules. Here, we provide a detailed description of the methodology used to design the DOOR ontology, as well as an overview of its content. We also describe how DOOR is used in a complete framework (called KANNEL) for detecting and managing semantic relations between ontologies in large ontology repositories. Applied in the context of a large collection of automatically crawled ontologies, DOOR and KANNEL provide a starting point for analyzing the underlying structure of the network of ontologies that is the Semantic Web.


  1. Allocca., C. (2009). Expliciting semantic relations between ontologies in large ontology repositories. PhD Symposium, Poster Session, ESWC.
  2. Bell, D., Qi, G., and Liu, W. (2007). Approaches to inconsistency handling in description-logic based ontologies. Proc of the SWWS Conference., 4825/2008.
  3. d'Aquin, M. (2009). Formally measuring agreement and disagreement in ontologies. 5th K-CAP.
  4. d'Aquin, M., Motta, E., and et al, M. S. (2008). Towards a new generation of semantic web applications. IEEE Intell. Sys., 23(3).
  5. d'Aquin, M., Sabou, M., Dzbor, M., Baldassarre, C., Gridinoc, L., Angeletou, S., and Mottta, E. (2007).
  6. David, J. and Euzenat, J. (2008). Comparison between ontology distances (preliminary results). 7th Int. Semantic Web Conference, ISWC.
  7. Gangemi, A., Guarino, N., and Masolo, C. (2001). Understanding top-level ontological distinctions.
  8. Gangemi, A., Pisanelli, D. M., and Steve, G. (1999). An overview of the onions project: Applying ontologies to the integration of medical terminologies. Technical report. ITBM-CNR, V. Marx 15, 00137, Roma, Italy.
  9. Ghilardi, S., Lutz, C., and Wolter, F. (2006). Did I damage my ontology? a case for conservative extensions in description logics. In 10th Inter. Conf. (KR), pages 187-197. AAAI Press.
  10. Grau, B. C., Horrocks, I., Kazakov, Y., and Sattler, U. (2007). Just the right amount: Extracting modules from ontologies. In WWW, pages 717-726. ACM.
  11. Heflin, J. (2001). Towards the semantic web: Knowledge representation in a dynamic, distributed environment. Ph.D. Thesis, University of Maryland, 2001.
  12. Heflin, J. and Pan., Z. (2004). A model theoretic semantics for ontology versioning. 3th ISWC, Hiroshima, Japan, LNCS 3298 Springer, pages 62-76.
  13. Klein, M. and Fensel, D. (2001). Ontology versioning on the semantic web. Proc. of the Inter. Semantic Web Working Symposium (SWWS), pages 75-91.
  14. Klein, M., Fensel, D., Kiryakov, A., and Ognyanov, D. (2002). Ontology versioning and change detection on the web. 13th EKAW02, pages 197-212.
  15. Kleshchev, A. and Artemjeva, I. (2005). An analysis of some relations among domain ontologies. Int. Journal on Inf. Theories and Appl, 12:85-93.
  16. Konev, B., C.Lutz, D.Walther, and F.Wolter (2008). Cex and mex: Logical diff and logic-based module extraction in a fragment of owl. Liverpool Uni and TU Dresden.
  17. Maedche, A. and Staab, S. (2002). Comparing ontologiessimilarity measures and a comparison study. Proc. of EKAW-2002.
  18. Noy, N. F. and Musen, M. A. (2002). Promptdiff: A fixedpoint algorithm for comparing ontology versions. 18th National Conf. on Artificial Intelligence (AAAI).
  19. Patel-Schneider, P. F., Hayes, P., and Horrocks, I. (2004). Owl web ontology language semantics and abstract syntax. W3C Recommendation.
  20. Qi, G. and Hunter, A. (2007). Measuring incoherence in description logic-based ontologies. Proc of the Int. Sem. Web Conference., 4825/2008:381-394.
  21. Volkel, M. (2006). D2.3.3.v2 SemVersion Versioning RDF and Ontologies. EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB.

Paper Citation

in Harvard Style

Allocca C., d’Aquin M. and Motta E. (2009). DOOR - Towards a Formalization of Ontology Relations . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 13-20. DOI: 10.5220/0002276400130020

in Bibtex Style

author={Carlo Allocca and Mathieu d’Aquin and Enrico Motta},
title={DOOR - Towards a Formalization of Ontology Relations},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - DOOR - Towards a Formalization of Ontology Relations
SN - 978-989-674-012-2
AU - Allocca C.
AU - d’Aquin M.
AU - Motta E.
PY - 2009
SP - 13
EP - 20
DO - 10.5220/0002276400130020