In this paper, we propose a new operator for revising ABoxes in DL-Lite ontologies. We present a graphbased algorithm for ABox revision in DL-Lite, which implements the revision operator and we show it runs in polynomial time.
['Sibei Gao', 'Guilin Qi', 'Haofen Wang']
A new operator for ABox revision in DL-Lite