A New Operator for ABox Revision in DL-Lite
Gao, Sibei (Southeast University) | Qi, Guilin (Southeast University) | Wang, Haofen (Shanghai Jiao Tong University)
Details of our work can be found in the technical report, which is available at http://gqi.limewebs.com/aaaist12.pdf. In this paper, we propose a new operator for revising ABoxes in DL-Lite ontologies.
Jul-21-2012
- Technology: