Towards Ontology Evolution in Physics

  • Alan Bundy
  • Michael Chan
Conference paper

DOI: 10.1007/978-3-540-69937-8_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5110)
Cite this paper as:
Bundy A., Chan M. (2008) Towards Ontology Evolution in Physics. In: Hodges W., de Queiroz R. (eds) Logic, Language, Information and Computation. WoLLIC 2008. Lecture Notes in Computer Science, vol 5110. Springer, Berlin, Heidelberg

Abstract

We investigate the problem of automatically repairing inconsistent ontologies. A repair is triggered when a contradiction is detected between the current theory and new experimental evidence. We are working in the domain of physics because it has good historical records of such contradictions and how they were resolved. We use these records to both develop and evaluate our techniques. To deal with problems of inferential search control and ambiguity in the atomic repair operations, we have developed ontology repair plans, which represent common patterns of repair. They first diagnose the inconsistency and then direct the resulting repair. Two such plans have been developed to repair ontologies that disagree over the value and the dependence of a function, respectively. We have implemented the repair plans in the galileo system and successfully evaluated galileo on a diverse range of examples from the history of physics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Alan Bundy
    • 1
  • Michael Chan
    • 1
  1. 1.School of InformaticsUniversity of EdinburghEdinburghUK

Personalised recommendations