Informatics Report Series


Report   

EDI-INF-RR-1149


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution
Authors: Fiona McNeill ; Alan Bundy
Date: 2007
Publication Title:IJSWIS (International Journal on Semantic Web and Information Systems) special issue on Ontology Matching
Publication Type:Journal Article Publication Status:Published
Volume No:3 Page Nos:1-35
Abstract:
We describe ORS, an ontology repair system. In contrast to most ontology matching systems, ORS is designed to repair an ontology that does not accurately model its domain, rather than to find links between two or more unchanging ontologies. It also works on first-order representations rather than just concept taxonomies, classifications or hierarchies. ORS can make belief revisions, but it more often makes signature repairs, i.e. changes to the arities, types and numbers of predicates. Unlike traditional ontology matching systems, ORS does not require full access to the ontologies of other agents and works entirely automatically and dynamically. However, it does assume a large measure of pre-existing similarity between the ontologies of interacting agents: it is designed to deal with ontologies that are evolving and that come originally from the same source. ORS works by analysing failed plan executions to diagnose ontological mismatches and to implement repairs. This process iterates until it reaches either successful plan execution or failed plan formation. ORS is the first example of a new breed of dynamic, automatic ontology-repair mechanisms, which we believe will be essential to realise the vision of autonomous, interacting agents, such as envisaged in the Semantic Web. Full access to another (potentially rival) agent s ontology is unrealistic for both practical and commercial reasons. Static and interactive matching mechanisms are unrealistic in the context of huge and dynamic populations of agents. Full ontological agreement is pragmatically unrealistic, even where a standard ontology has been agreed, due to evolving versions and local customisation. Addressing these issues is very challenging. We have made a promising start, but much remains to be done. To make initial progress, we have made many simplifying assumptions. We present encouraging experimental results and an analysis of current limitations to be addressed in future work.
Copyright:
2007 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
@Article{EDI-INF-RR-1149,
author = { Fiona McNeill and Alan Bundy },
title = {Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution},
journal = {IJSWIS (International Journal on Semantic Web and Information Systems) special issue on Ontology Matching},
year = 2007,
volume = {3},
pages = {1-35},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh