A Theoretical Model to Handle Ontology Debugging & Change Through Argumentation

MARTÍN O. MOGUILLANSKY; NICOLÁS D. ROTSTEIN; MARCELO A. FALAPPA

Karlsruhe, Alemania

Workshop; International Workshop on Ontology Dynamics, IWOD’2008, in collaboration with Seventh International Semantic Web Conference, ISWC’2008; 2008

Semantic Web Science Association (SWSA)

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.