Xuefeng Fu Zhiqiang Zhuang

Approximating model-based a box revision in DL-lite: theory and practice

2015

Model-based approaches provide a semantically well justified way to revise ontologies. However, in general, model-based revision operators are limited due to lack of efficient algorithms and inexpressibility of the revision results. In this paper, we …