A Higher Order Approach to Ontology Evolution in Physics

A higher-order logical approach to ontology evolution is applied to examples in Physics. Based on this approach, a framework is proposed which includes a methodology for the formalisation of ontology evolution in higher-order logic and an implementation of this methodology in the theorem prover Isabelle. The proposed basic mechanisms for evolution are called ontology repair plans. These operate on ontologies formalised as contexts, i.e., as multiple logical theories. In such a setting, ontologies may contradict one another or introduce redundancies with respect to one another, without any of them containing logical contradictions or redundancies. When, though, an inconsistency or a redundancy between two or more ontologies becomes explicit, it may be resolved by the application of an ontology repair plan, as each plan compiles together a pattern for diagnosis and transformation rules for effecting a repair. The repair can combine the retraction and/or addition of axioms as well as the deeper modification of the language in which the ontology is represented.

[1]  Steffen Stadtmüller,et al.  RaDON - Repair and Diagnosis in Ontology Networks , 2009, ESWC.

[2]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[3]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[4]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[5]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

[6]  Pedro M. Domingos,et al.  Ontology Matching: A Machine Learning Approach , 2004, Handbook on Ontologies.

[7]  James A. Hendler,et al.  Swoop: A Web Ontology Editing Browser , 2006, J. Web Semant..

[8]  Lawrence Charles Paulson,et al.  Isabelle: A Generic Theorem Prover , 1994 .

[9]  Murphy.  Tempus Fugit. , 1996, The oncologist.

[10]  G. Sullivan,et al.  Heat and temperature. , 2022, BJA education.

[11]  Martin Homola,et al.  Distributed Description Logics Revisited , 2007, Description Logics.

[12]  Alan Bundy,et al.  Inconstancy: An Ontology Repair Plan for Adding Hidden Variables , 2008, AAAI Fall Symposium: Automated Scientific Discovery.

[13]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[14]  Heiner Stuckenschmidt,et al.  Implementing Modular Ontologies with Distributed Description Logics , 2006, WoMO.

[15]  M. F. Wiser,et al.  When heat and temperature were one , 2014 .

[16]  V. Rubin,et al.  Rotational properties of 21 SC galaxies with a large range of luminosities and radii, from NGC 4605 /R = 4kpc/ to UGC 2885 /R = 122 kpc/ , 1980 .

[17]  Jianfeng Du,et al.  Lexicographical Inference over Inconsistent DL-Based Ontologies , 2008, RR.

[18]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[19]  Fausto Giunchiglia,et al.  Semantic Matching: Algorithms and Implementation , 2007, J. Data Semant..

[20]  Alan Bundy,et al.  Dynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution , 2007, Int. J. Semantic Web Inf. Syst..

[21]  Clemens Ballarin.  Locales and Locale Expressions in Isabelle/Isar , 2003, TYPES.

[22]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[23]  Luciano Serafini,et al.  On the Difference between Bridge Rules and Lifting Axioms , 2003, CONTEXT.

[24]  George F.R. Ellis,et al.  c is the speed of light, isn’t it? , 2005 .

[25]  Giorgos Flouris,et al.  On belief change in ontology evolution , 2006, AI Commun..

[26]  Sebastien Derriere,et al.  Ontology of Astronomical Object Types Version 1.3 , 2010 .

[27]  M.J.C. Gordon,et al.  The HOL Logic and System , 1994 .

[28]  Frank van Harmelen,et al.  Using C-OWL for the alignment and merging of medical ontologies , 2004, KR-MED.

[29]  Sebastian Rudolph,et al.  Tempus Fugit , 2009, ESWC.

[30]  Alan Bundy,et al.  Higher-order Representation and Reasoning for Automated Ontology Evolution , 2010, KEOD.

[31]  Lawrence Charles Paulson,et al.  Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .

[32]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[33]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[34]  Giorgos Flouris.  On belief change in ontology evolution: Thesis , 2006 .

[35]  Frank van Harmelen,et al.  Contextualizing ontologies , 2004, J. Web Semant..

[36]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..