Mapping and Verification of the Time Ontology in SUMO

Many software systems rely on ontologies for semantic interoperation. However, ontologies which admit unintended models might cause misunderstandings that hinder interoperability because their vocabularies are ambiguously defined. Foundational ontologies, such as SUMO, provide rich characterizations for general concepts that underly every knowledge representation enterprise. Those ontologies are intended to be broadly reused as a reference for semantics. Ontology verification is the process by which a theory is checked to rule out unintended models by means of further axiomatization, and characterize missing intended ones. In this paper, we verify the subtheory of core temporal concepts of the SUMO foundational ontology and relate its axiomatization via ontology mapping with other time ontologies, the foundational ontology DOLCE, and the generic ontology PSL. As a result, we propose the addition of some missing axioms that we have identified during our verification task, and the correction of others.

[1]  Michael Grüninger,et al.  Using the PSL Ontology , 2009, Handbook on Ontologies.

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

[3]  Torsten Hahmann,et al.  A Sideways Look at Upper Ontologies , 2014, FOIS.

[4]  Geoff Sutcliffe,et al.  First Order Reasoning on a Large Ontology , 2007, ESARLT.

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

[6]  Adam Pease,et al.  Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology , 2003, IKE.

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

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

[9]  Torsten Hahmann,et al.  Ontology Verification with Repositories , 2010, FOIS.

[10]  Arnold Oberschelp,et al.  Order Sorted Predicate Logic , 1990, Sorts and Types in Artificial Intelligence.

[11]  Ian Horrocks,et al.  14 OWL : a Description Logic Based Ontology Language for the Semantic Web , 2006 .

[12]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

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

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

[15]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[16]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[17]  Adam Pease,et al.  Higher-order aspects and context in SUMO , 2012, J. Web Semant..