An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics

Alan Bundy, J. Lehmann

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

Abstract

The GALILEO system implements novel mechanisms for automated ontology evolution in physics. These mechanisms, called ontology repair plans, resolve logical conflicts between several modular ontologies. To demonstrate that ontology evolution can be automated using ontology repair plans, we propose a flexible architecture for the implementation. Support for inference of formulae that trigger repair plans and modularisation of ontologies are central to the design. Huet's Zipper data structure is to be used to avoid encoding the object-level for- malism with a deep embedding. For a high degree of modularity, the management of a collection of ontologies is handled by development graphs.
Original languageEnglish
Title of host publicationThe IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-09
Publication statusPublished - 2009
EventIJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution - Pasadena, California, United States
Duration: 11 Jul 2009 → …

Conference

ConferenceIJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution
CountryUnited States
CityPasadena, California
Period11/07/09 → …

Fingerprint Dive into the research topics of 'An Architecture of GALILEO: A System for Automated Ontology Evolution in Physics'. Together they form a unique fingerprint.

Cite this