An Argumentative Approach to Reasoning with Inconsistent Ontologies

Gomez, S.A., Chesnevar, C.I. and Simari, G.R.

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 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.

Cite as: Gomez, S.A., Chesnevar, C.I. and Simari, G.R. (2008). An Argumentative Approach to Reasoning with Inconsistent Ontologies. In Proc. Knowledge Representation Ontology Workshop (KROW 2008), Sydney, Australia. CRPIT, 90. Meyer, T. and Orgun, M. A., Eds. ACS. 11-20.

(from crpit.com) (local if available)