An Argumentation Machinery to Reason over Inconsistent Ontologies

MARTÍN O. MOGUILLANSKY; RENATA WASSERMANN; MARCELO A. FALAPPA

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Lugar: Heidelberg; Año: 2010 vol. 6433 p. 100 - 109

0302-9743

Widely accepted argumentation techniques are adapted to define a non-standard description logic (DL) reasoning machinery. A DL-based argumentation framework is introduced to reason about potentially inconsistent ontologies. Arguments in this framework can handle different DL families like ALC, EL, and DL-Lite. Afterwards, we propose an algorithm based on debugging techniques and classical tableau-based ALC satisfiability to build arguments, and discuss about the computational cost of reasoning through the proposed machinery.