Inconstancy: An Ontology Repair Plan for Adding Hidden Variables

M. Chan, Alan Bundy

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


We describe mechanisms for automated evolution of ontologies to adapt to new circumstances and to make them better suited to the given task. If a conflict is detected between the original theory and new experimental evidence, a repair is required to resolve the inconsistency and to recover from failure. The rules for conflict diagnosis and transformation of the ontologies are composed together into ontology repair plans. The repair plans have been implemented in the galileo system and successfully evaluated on a diverse range of examples from the history of physics. By applying the described repair plans, the initially incorrect physical theories in our examples are repaired to become consistent with experimental results.
Original languageEnglish
Title of host publicationAutomated Scientific Discovery: Papers from the AAAI Fall Symposium
Number of pages8
Publication statusPublished - Nov 2008


Dive into the research topics of 'Inconstancy: An Ontology Repair Plan for Adding Hidden Variables'. Together they form a unique fingerprint.

Cite this