Belief Base Revision For Expressive Description Logics

OWLED*06 Workshop on OWL: Experiences and Directions

Christian Halaschek-Wiener1 ; Yarden Katz2 ; Bijan Parsia3 ; 2 Maryland Information and Network Dynamics Lab ; 8400 Baltimore Ave. ; Suite 200 ; College Park ; MD USA ; 3 School of Computer Science

PID  :  79538

来源: CEUR

【 摘 要 】

In this work, we address the problem of revision of OWLDL knowledge bases. We focus on belief bases revision as it has previously been shown that OWLDL is not AGMcompliant for revision. Previously an algorithm for belief base semirevision for propositional logic has been defined; in particular it has been shown how the diagnosis problem can be translated into a revision problem. In this work, we expand upon this work and detail an approach for performing be lief base semirevision in the Description Logic SHOIN , which corresponds to the W3C standard Web Ontology Language OWLDL. We additionally, discuss