A Theoretical Model to Handle Ontology Debugging & Change Through Argumentation

MARTIN MOGUILLANSKY; NICOLAS ROTSTEIN; MARCELO FALAPPA

Karlsruhe

Workshop; Ontology Dynamics (IWOD); 2008

ISWC

A dynamic argumentation framework based on ALC description logics is presented by extending notions from argumentation. Since argumentation frameworks reason over graphs that relate arguments through attack, a methodology is proposed to bridge ontology-specific concepts to argumentation notions. In this way, inconsistency in the former will be represented as an attack in the latter. This approach benefits from (argumentation) acceptability semantics to restore consistency to ontologies. Finally, a model of ontology change is presented along with a rational characterization.