One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
ER -
Description
SpringerLinkA Framework for Handling Inconsistency in Changing Ontologies
%0 Journal Article
%1 haase2005
%A Haase, Peter
%A Harmelen, Frank
%A Huang, Zhisheng
%A Stuckenschmidt, Heiner
%A Sure, York
%D 2005
%J The Semantic Web – ISWC 2005
%K evolution ontology update
%P 353--367
%T A Framework for Handling Inconsistency in Changing Ontologies
%U http://dx.doi.org/10.1007/11574620_27
%X One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
ER -
@article{haase2005,
abstract = {One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
ER -},
added-at = {2009-05-15T15:38:25.000+0200},
author = {Haase, Peter and Harmelen, Frank and Huang, Zhisheng and Stuckenschmidt, Heiner and Sure, York},
biburl = {https://www.bibsonomy.org/bibtex/2bbeba3af71f3cb6673abeb908ade599a/utahell},
description = {SpringerLinkA Framework for Handling Inconsistency in Changing Ontologies},
interhash = {e5b54cf13381a791d7f18aafc2bda32b},
intrahash = {bbeba3af71f3cb6673abeb908ade599a},
journal = {The Semantic Web – ISWC 2005},
keywords = {evolution ontology update},
pages = {353--367},
timestamp = {2009-05-15T15:38:25.000+0200},
title = {A Framework for Handling Inconsistency in Changing Ontologies},
url = {http://dx.doi.org/10.1007/11574620_27},
year = 2005
}