Description Logic

Zhiqiang Zhuang, Zhe Wang, Kewen Wang and Guilin Qi (2016) DL-Lite Contraction and Revision


Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Standard description logic semantics yields an infinite number of models for DL-Lite knowledge bases, thus it is difficult to develop algorithms for contraction and revision that involve DL models. It is more succinct and importantly, with a finite signature, the semantics always yields a finite number of models. We then define model-based contraction and revision functions for DL-Lite knowledge bases under type semantics and provide representation theorems for them.