Merging the DOLCE and PSL Upper Ontologies

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

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

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

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

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

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

[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]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

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

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

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

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

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

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

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

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

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