A New Look at Ontology Correctness

The design of ontologies for new commonsense domains continues to pose challenges, particularly in cases where multiple potential axiomatizations satisfy the requirements for the ontology. One approach is to specify the requirements with respect to the intended semantics of the terminology; from a mathematical perspective the requirements may be characterized by the class of structures(referred to as the required models) which capturethe intended semantics. This approach leads to a natural notion of the correctness as a relationship between the models of the axiomatization of the ontology and the required models for the ontology. In this paper, we consider three possible generalizations of the notion of the correctness of an ontology in the case in which the ontology and the required models have different signatures.We show that these notions of correctness lead to different approaches for ontology evaluation and discuss the benefits and drawbacks of each approach.

[1]  Brian Knight,et al.  A Temporal Database Model Supporting Relative and Absolute Time , 1994, Comput. J..

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

[3]  L. W. Szczerba,et al.  Interpretability of Elementary Theories , 1977 .

[4]  E. L..  The Foundations of Geometry , 1891, Nature.

[5]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

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

[7]  Roque Marín,et al.  On point-duration networks for temporal reasoning , 2002, Artif. Intell..

[8]  Albert Visser,et al.  Categories of theories and interpretations , 2004 .

[9]  Michael Grüninger,et al.  Theorem Proving in the Ontology Lifecycle , 2010, KEOD.

[10]  Asunción Gómez-Pérez,et al.  Ontology Evaluation , 2004, Handbook on Ontologies.

[11]  Joseph A. Thas,et al.  In: Handbook of Incidence Geometry: Buildings and Foundations , 1995 .

[12]  Stefano Borgo,et al.  Full Mereogeometries , 2010, Rev. Symb. Log..

[13]  Michael Grüninger.  Ontologies for Dates and Duration , 2010, KR.

[14]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

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

[16]  Steffen Staab,et al.  What Is an Ontology? , 2009, Handbook on Ontologies.

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