Merging the DOLCE and PSL Upper Ontologies

Carmen Chui, Michael Grüninger


In this paper, we examine the relationships between the axiomatization of participation in two upper ontologies, the Process Specification Language (PSL) and the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE).We discuss the obstacles faced to formalize the relationships between these ontologies and provide an overview of the methodology undertaken to merge the ontologies together. We introduce new ontologies that serve to bridge the PSL and DOLCE ontologies together to allow us to specify the mappings between them. We illustrate how ontology verification is used to show faithful interpretations between the two upper ontologies.


  1. Choi, N., Song, I.-Y., and Han, H. (2006). A Survey on Ontology Mapping. SIGMOD Record, 35(3):34-41.
  2. Chui, C. (2013). Axiomatized Relationships between Ontologies. Master's thesis, University of Toronto.
  3. de Bruijn, J., Ehrig, M., Feier, C., Martín-Recuerda, F., Scharffe, F., and Weiten, M. (2006). Ontology Mediation, Merging, and Aligning, pages 95-113. John Wiley & Sons, Ltd.
  4. Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
  5. Euzenat, J. and Shvaiko, P. (2007). Ontology Matching. Springer-Verlag New York, Inc., Secaucus, NJ, USA.
  6. Grüninger, M. (2009). Using the PSL Ontology. In Staab, S. and Studer, R., editors, Handbook on Ontologies, International Handbooks on Information Systems, pages 423-443. Springer Berlin Heidelberg.
  7. Grüninger, M., Hahmann, T., Hashemi, A., Ong, D., and O zgövde, A. (2012). Modular First-Order Ontologies via Repositories. Applied Ontology, 7(2):169-209.
  8. Gruninger, M. and Ong, D. (2011). Verification of Time Ontologies with Points and Intervals. 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME), 0:31-38.
  9. Hayes, P. (1996). A Catalog of Temporal Theories. Technical Report UIUC-BI-AI-96-01, Beckman Institute and Departments of Philosophy and Computer Science, University of Illinois.
  10. Kalfoglou, Y. and Schorlemmer, M. (2005). Ontology Mapping: The State of the Art. In Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., and Uschold, M., editors, Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany. Internationales Begegnungs- und Forschungszentrum f ür Informatik (IBFI), Schloss Dagstuhl, Germany.
  11. Kutz, O. and Mossakowski, T. (2011). A Modular Consistency Proof for DOLCE. In Burgard, W. and Roth, D., editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), August 7- 11, 2011, pages 227-234, San Francisco, California, USA. AAAI Press.
  12. Ladkin, P. B. (1986). Time Representation: A Taxonomy of Internal Relations. In Proceedings of the 5th National Conference on Artificial Intelligence, volume 1, pages 360-366, Philadelphia, PA.
  13. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., and Oltramari, A. (2003). WonderWeb Deliverable D18 Ontology Library (Final). Technical report, IST Project 2001-33052 WonderWeb: Ontology Infrastructure for the Semantic Web.
  14. Stuckenschmidt, H., Serafini, L., and Wache, H. (2005). Reasoning about Ontology Mappings. Technical report, ITC-IRST, Trento.
  15. van Benthem, J. (1991). The Logic of Time: A ModelTheoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Synthese Library. Springer.
  16. Zimmermann, A., Krötzsch, M., Euzenat, J., and Hitzler, P. (2006). Formalizing Ontology Alignment and its Operations with Category Theory. In Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), pages 277-288, Amsterdam, The Netherlands. IOS Press.

Paper Citation

in Harvard Style

Chui C. and Grüninger M. (2014). Merging the DOLCE and PSL Upper Ontologies . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 16-26. DOI: 10.5220/0005027100160026

in Bibtex Style

author={Carmen Chui and Michael Grüninger},
title={Merging the DOLCE and PSL Upper Ontologies},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - Merging the DOLCE and PSL Upper Ontologies
SN - 978-989-758-049-9
AU - Chui C.
AU - Grüninger M.
PY - 2014
SP - 16
EP - 26
DO - 10.5220/0005027100160026