A New Operator for ABox Revision in DL-Lite

AAAI 2012 pp. 2423-2424

doi:10.1609/AAAI.V26I1.8421 /aaai/2012/gao2012aaai-new/

Abstract

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

PDF AAAI Semantic Scholar

Cite

Text

Gao et al. "A New Operator for ABox Revision in DL-Lite." AAAI Conference on Artificial Intelligence, 2012. doi:10.1609/AAAI.V26I1.8421

Markdown

[Gao et al. "A New Operator for ABox Revision in DL-Lite." AAAI Conference on Artificial Intelligence, 2012.](https://mlanthology.org/aaai/2012/gao2012aaai-new/) doi:10.1609/AAAI.V26I1.8421

BibTeX

@inproceedings{gao2012aaai-new,
  title     = {{A New Operator for ABox Revision in DL-Lite}},
  author    = {Gao, Sibei and Qi, Guilin and Wang, Haofen},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2012},
  pages     = {2423-2424},
  doi       = {10.1609/AAAI.V26I1.8421},
  url       = {https://mlanthology.org/aaai/2012/gao2012aaai-new/}
}