GALILEO: A System for Automating Ontology Evolution
Michael T. Chan, Jos Lehmann, Alan Bundy · Edinburgh Research Explorer (University of Edinburgh) · 2011
We describe the GALILEO system, which is de-signed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particu-lar, we present our approach to ontological con-flict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and prepar-ing the system by user interaction; applying on-tology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms. 1