Ontology Verification with Repositories

In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of representation theorems and classification theorems to characterize the models of an ontology, and then show how such results can be obtained from notions such as relative interpretation.

[1]  Michael Winter,et al.  Stonian p-ortholattices: A new approach to the mereotopology RT0 , 2009, Artif. Intell..

[2]  Ivo Düntsch,et al.  Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.

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

[4]  William M. Farmer.  An Infrastructure for Intertheory Reasoning , 2000, CADE.

[5]  T. Blyth.  Lattices and Ordered Algebraic Structures , 2005 .

[6]  Sergiu Rudeanu,et al.  Axioms For Lattices And Boolean Algebras , 2008 .

[7]  Michael Gruninger.  Definability and Process Ontologies , 2009 .

[8]  D. Marker.  Model theory : an introduction , 2002 .

[9]  Michael Grüninger,et al.  A formal foundation for process modeling , 2001, FOIS.

[10]  Torsten Hahmann,et al.  Region-Based Theories of Space: Mereotopology and Beyond , 2012 .

[11]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[12]  Bijan Parsia,et al.  Automatic Partitioning of OWL Ontologies Using E-Connections , 2005, Description Logics.

[13]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[14]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[15]  William M. Farmer,et al.  Little Theories , 1992, CADE.

[16]  Michael Grüninger,et al.  Semantic Integration through Invariants , 2005, AI Mag..

[17]  Nicolas Troquard,et al.  Towards an ontology of agency and action From STIT to OntoSTIT+ , 2006, FOIS.

[18]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[19]  Bijan Parsia,et al.  Ontology Integration Using epsilon-Connections , 2009, Modular Ontologies.