Abstract
In this paper, we examine techniques used to merge the upper ontologies of the Process Specification Language (PSL) and the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) ontologies. In particular, we focus on the parts of these two ontologies relevant to the commonsense notion of participation as a relation between objects, activities, and time. We discuss the obstacles faced to formalize the relationships between these ontologies and provide an overview of the methodology undertaken to bridge the ontologies together. New ontologies are introduced to bring 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. We also explore applications of ontology transfer between a mathematical ontology and an upper ontology as an additional means of specifying bridges between ontologies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The results in this paper are an updated and revised version of the material found in [3], which was presented at the \(6^{th}\) International Conference on Knowledge Engineering and Ontology Development (KEOD).
- 2.
A first-order ontology is a set of first-order sentences (axioms) that characterize a first-order theory, which is the closure of the ontology’s axioms under logical entailment. In the rest of the paper we will simply drop the term first-order and assume ontologies and theories to be first-order.
- 3.
- 4.
- 5.
- 6.
The new ontologies can be found at http://colore.oor.net/psl_participates/.
- 7.
- 8.
- 9.
Additional information about the various relations found in convex and non-convex intervals can be found in [14].
- 10.
- 11.
- 12.
- 13.
- 14.
We could not modify the axioms found in \(T_{psl\_core}\) since the axioms are standardized in ISO 18629-11:2005.
- 15.
- 16.
- 17.
The terms overlap and intersect were not used to describe this relation since they are used in mereology ontologies. To be consistent with PSL, we decided to use the term overlay to describe the relationship where time intervals may overlay one another.
- 18.
- 19.
Recall that we did not commit to a particular temporal construct in \(T_{mandatory}\).
- 20.
- 21.
- 22.
Proofs can be found at http://colore.oor.net/dolce_present/interprets/output/.
- 23.
- 24.
Proofs can be found at http://colore.oor.net/dolce_participation/interprets/output/.
References
Choi, N., Song, I.-Y., Han, H.: A survey on ontology mapping. SIGMOD Rec. 35(3), 34–41 (2006)
Chui, C.: Axiomatized relationships between ontologies. Master’s thesis, University of Toronto (2013)
Chui, C., GrĂ¼ninger, M.: Mathematical foundations for participation ontologies. In: Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, 22–25 September, Rio de Janeiro, Brazil, pp. 105–118 (2014)
Chui, C., GrĂ¼ninger, M.: Merging the DOLCE and PSL upper ontologies. In: Filipe, J., Dietz, J.L.G., Aveiro, D. (eds.) KEOD 2014 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Rome, Italy, 21–24 October, pp. 16–26. SciTePress (2014)
de Bruijn, J., Ehrig, M., Feier, C., MartĂn-Recuerda, F., Scharffe, F., Weiten, M.: Ontology Mediation, Merging, and Aligning, pp. 95–113. Wiley (2006)
Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer-Verlag New York Inc., Secaucus (2007)
GrĂ¼ninger, M.: Using the PSL ontology. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 423–443. Springer, Heidelberg (2009)
GrĂ¼ninger, M., Hahmann, T., Hashemi, A., Ong, D., Ă–zgövde, A.: Modular first-order ontologies via repositories. Appl. Ontol. 7(2), 169–209 (2012)
Gruninger, M., Ong, D.: Verification of time ontologies with points and intervals. In: 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME), pp. 31–38 (2011)
Hayes, P.: A catalog of temporal theories. Technical report UIUC-BI-AI-96-01, Beckman Institute and Departments of Philosophy and Computer Science, University of Illinois (1996)
Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. In: Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., Uschold, M. (eds.) Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, February 2005. Internationales Begegnungs- und Forschungszentrum fĂ¼r Informatik (IBFI), Schloss Dagstuhl, Germany (2005)
Kutz, O., Mossakowski, T.: A modular consistency proof for DOLCE. In: Burgard, W., Roth, D. (eds.) Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011), 7–11 August, pp. 227–234. AAAI Press, San Francisco (2011)
Ladkin, P.B.: Time representation: a taxonomy of internal relations. In: Proceedings of the 5th National Conference on Artificial Intelligence, Philadelphia, PA, vol. 1, pp. 360–366 (1986)
Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: WonderWeb Deliverable D18 Ontology Library (Final). Technical report, IST Project 2001–33052 WonderWeb: Ontology Infrastructure for the Semantic Web (2003)
Pearce, D., Valverde, A.: Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci. 78(1), 86–104 (2012)
Stuckenschmidt, H., Serafini, L., Wache, H.: Reasoning about Ontology Mappings. Technical report, ITC-IRST, Trento (2005)
van Benthem, J.: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Synthese Library. Springer, New York (1991)
Zimmermann, A., Krötzsch, M., Euzenat, J., Hitzler, P.: Formalizing ontology alignment and its operations with category theory. In: Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), pp. 277–288. IOS Press, Amsterdam (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Chui, C., GrĂ¼ninger, M. (2015). Techniques for Merging Upper Ontologies. In: Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. (eds) Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K 2014. Communications in Computer and Information Science, vol 553. Springer, Cham. https://doi.org/10.1007/978-3-319-25840-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-25840-9_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25839-3
Online ISBN: 978-3-319-25840-9
eBook Packages: Computer ScienceComputer Science (R0)