Projects per year
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.
|Title of host publication||The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution ARCOE-09|
|Publication status||Published - 2009|
|Event||IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution - Pasadena, California, United States|
Duration: 11 Jul 2009 → …
|Conference||IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution|
|Period||11/07/09 → …|