Techniques for Merging Upper Ontologies

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.

[1]  Heiner Stuckenschmidt,et al.  Reasoning about Ontology Mappings , 2005 .

[2]  Michael Gruninger,et al.  Using the PSL Ontology , 2009 .

[3]  Jos de Bruijn,et al.  Ontology Mediation, Merging, and Aligning , 2006 .

[4]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[5]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[6]  Johan van Benthem,et al.  The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.

[7]  Hyoil Han,et al.  A survey on ontology mapping , 2006, SGMD.

[8]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[9]  David Pearce,et al.  Synonymous theories and knowledge representations in answer set programming , 2012, Journal of computer and system sciences (Print).

[10]  Michael Grüninger,et al.  Verification of Time Ontologies with Points and Intervals , 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

[11]  Till Mossakowski,et al.  A Modular Consistency Proof for DOLCE , 2011, AAAI.

[12]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

[13]  Patrick J. Hayes,et al.  A Catalog of Temporal Theories , 2005 .

[14]  Torsten Hahmann,et al.  Modular first-order ontologies via repositories , 2012, Appl. Ontology.

[15]  Carmen Chui.  Axiomatized Relationships between Ontologies , 2013 .

[16]  Michael Grüninger,et al.  Merging the DOLCE and PSL Upper Ontologies , 2014, KEOD.

[17]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

[18]  Pascal Hitzler,et al.  Formalizing Ontology Alignment and its Operations with Category Theory , 2006, FOIS.