Higher-order Representation and Reasoning for Automated Ontology Evolution

M. Chan, J. Lehmann, Alan Bundy

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

Abstract

The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments characterised by the heterogeneity of data and of representation languages. Our approach is based on patterns of diagnosis of faults detected across multiple ontologies. Such patterns allow to identify the type of repair required when conflicting ontologies yield erroneous inferences. We assume that each ontology is locally consistent, i.e. inconsistency arises only across ontologies when they are merged together. Local consistency avoids the derivation of uninteresting theorems, so the formula for diagnosis can essentially be seen as an open theorem over the ontologies. The system’s application domain is physics; we have adopted a modular formalisation of physics, structured by means of locales in Isabelle, to perform modular higher-order reasoning, and visualised by means of development graphs.
Original languageEnglish
Title of host publication KEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development
Publication statusPublished - Oct 2010
EventKEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Valencia, Spain
Duration: 25 Oct 201028 Oct 2010

Conference

ConferenceKEOD 2010 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development
CountrySpain
CityValencia
Period25/10/1028/10/10

Keywords

  • Ontology
  • Automated ontology evolution
  • ontology conflict detection
  • higher-oder logic
  • ontology repair plan
  • Isabelle/HOL
  • development graphs
  • GALILEO

Fingerprint Dive into the research topics of 'Higher-order Representation and Reasoning for Automated Ontology Evolution'. Together they form a unique fingerprint.

Cite this