Query Answering with Inconsistent Existential Rules under Stable Model Semantics


  • Hai Wan Sun Yat-sen University
  • Heng Zhang Huazhong University of Science and Technology
  • Peng Xiao Sun Yat-sen University
  • Haoran Huang Fudan University
  • Yan Zhang Western Sydney University




Stable Model Semantics, Inconsistent Existential Rules, Query Answering


Classical inconsistency-tolerant query answering relies on selecting maximal components of an ABox/database which are consistent with the ontology. However, some rules in ontologies might be unreliable if they are extracted from ontology learning or written by unskillful knowledge engineers. In this paper we present a framework of handling inconsistent existential rules under stable model semantics, which is defined by a notion called rule repairs to select maximal components of the existential rules. Surprisingly, for R-acyclic existential rules with R-stratified or guarded existential rules with stratified negations, both the data complexity and combined complexity of query answering under the rule repair semantics remain the same as that under the conventional query answering semantics. This leads us to propose several approaches to handle the rule repair semantics by calling answer set programming solvers. An experimental evaluation shows that these approaches have good scalability of query answering under rule repairs on realistic cases.




How to Cite

Wan, H., Zhang, H., Xiao, P., Huang, H., & Zhang, Y. (2016). Query Answering with Inconsistent Existential Rules under Stable Model Semantics. Proceedings of the AAAI Conference on Artificial Intelligence, 30(1). https://doi.org/10.1609/aaai.v30i1.10085



Technical Papers: Knowledge Representation and Reasoning