Edinburgh Research Explorer

GALILEO: A System for Automating Ontology Evolution

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

Related Edinburgh Organisations


Original languageEnglish
Title of host publicationNotes of the IJCAI-11 Workshop ARCOE-11
Number of pages5
Publication statusPublished - 2011


We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the system by user interaction; applying ontology repair plans and automatically identifying logically valid terms that are responsible for the conflict; and, automatically eliminating physically meaningless terms.

Download statistics

No data available

ID: 6381710