Edinburgh Research Explorer

Towards Ontology Evolution in Physics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Access status

Open

Documents

http://www.springerlink.com/content/u1242442j9q9n145/?p=e02747e405704130992695c64c5bdbf2&pi=7
Original languageEnglish
Title of host publicationLogic, Language, Information and Computation
Subtitle of host publication15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
PublisherSpringer-Verlag GmbH
Pages98-110
Number of pages13
Volume5110
ISBN (Electronic)978-3-540-69937-8
ISBN (Print)978-3-540-69936-1
DOIs
StatePublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume5110
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

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.

Research areas

  • ontology evolution

Download statistics

No data available

ID: 145808