Belief Base Revision for Expressive Description Logics


In this work, we address the problem of revision of OWL-DL knowledge bases. We focus on belief bases revision as it has previously been shown that OWL-DL is not AGM-compliant for revision. Previously an algorithm for belief base semi-revision for propositional logic has been defined; in particular it has been shown how the diagnosis problem can be… (More)


3 Figures and Tables


Citations per Year

60 Citations

Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{HalaschekWiener2006BeliefBR, title={Belief Base Revision for Expressive Description Logics}, author={Christian Halaschek-Wiener and Yarden Katz}, booktitle={OWLED}, year={2006} }