A New Operator for ABox Revision in DL-Lite

Authors

  • Sibei Gao Southeast University
  • Guilin Qi Southeast University
  • Haofen Wang Shanghai Jiao Tong University

DOI:

https://doi.org/10.1609/aaai.v26i1.8421

Keywords:

DL-Lite；ABox Revison

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

Downloads

Published

2021-09-20

How to Cite

Gao, S., Qi, G., & Wang, H. (2021). A New Operator for ABox Revision in DL-Lite. Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), 2423–2424. https://doi.org/10.1609/aaai.v26i1.8421

Issue

Vol. 26 No. 1 (2012): Twenty-Sixth AAAI Conference on Artificial Intelligence

Section

Student Abstract Track