Inconstancy: An Ontology Repair Plan for Adding Hidden Variables
Michael T. Chan, Alan Bundy · Edinburgh Research Explorer (University of Edinburgh) · 2008
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 de-tected between the original theory and new experimen-tal evidence, a repair is required to resolve the inconsis-tency and to recover from failure. The rules for conflict diagnosis and transformation of the ontologies are com-posed together into ontology repair plans. The repair plans have been implemented in the GALILEO system and successfully evaluated on a diverse range of exam-ples from the history of physics. By applying the de-scribed repair plans, the initially incorrect physical the-ories in our examples are repaired to become consistent with experimental results.