Representation as a Fluent: An AI Challenge for the Next Half Century
IEEE Intelligent Systems
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Automating Signature Evolution in Logical Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Automatic ontology evolution in open and dynamic computing environments
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
Reasoned modelling critics: turning failed proofs into modelling guidance
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
A single-significant-digit calculus for semi-automated guesstimation
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Management of change in declarative languages
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.01 |
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 galileosystem and successfully evaluated galileoon a diverse range of examples from the history of physics.