AAAI Publications, Twenty-Sixth AAAI Conference on Artificial Intelligence

Font Size: 
A New Operator for ABox Revision in DL-Lite
Sibei Gao, Guilin Qi, Haofen Wang

Last modified: 2012-07-14


In this paper, we propose a new operator for revising ABoxes in DL-Lite ontologies. We present a graph-based algorithm for ABox revision in DL-Lite, which implements the revision operator and we show it runs in polynomial time


DL-Lite;ABox Revison

Full Text: PDF