An Argumentative Approach to Reasoning with Inconsistent Ontologies

SERGIO GÓMEZ; CARLOS IVÁN CHESÑEVAR; GUILLERMO SIMARI,

Sidney, Australia

Workshop; Proc. of the Knowledge Representation and Ontologies Workshop (KROW 2008); 2008

Australian Computer Society,

Standard approaches to reasoning with Description Logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this paper, we present a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as Defeasible Logic Programs (DeLP). Given a query posed w.r.t. an inconsistent ontology, a dialectical analysis will be performed on a DeLP program obtained from such ontology where all arguments in favor and against the final answer of the query will be taken into account. We also present an application to ontology integration based on the global-as-view approach.