Edinburgh Research Explorer

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

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

Related Edinburgh Organisations

Access status

Open

Documents

Original languageEnglish
Title of host publicationThe IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-09
StatePublished - 2009
EventIJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution - Pasadena, California, United States

Conference

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

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.

Event

IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution

11/07/09 → …

Pasadena, California, United States

Event: Conference

Download statistics

No data available

ID: 25307134