@INPROCEEDINGS{ZhengSchmidt20a,
AUTHOR = {Zheng, S. and Schmidt, R. A.},
YEAR = {2020},
TITLE = {Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution},
BOOKTITLE = {Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020)},
PUBLISHER = {AAAI Press},
PAGES = {3080--3087},
ISBN = {978-1-57735-823-7},
DOI = {https://doi.org/10.1609/aaai.v34i03.5703},
URL = {https://aaai.org/ojs/index.php/AAAI/article/view/5703, http://www.cs.man.ac.uk/~schmidt/publications/ZhengSchmidt20a.html},
ABSTRACT = {We consider the following query answering problem: Given
a Boolean conjunctive query and a theory in the Horn loosely
guarded fragment, the aim is to determine whether the query
is entailed by the theory. In this paper, we present a resolu-
tion decision procedure for the loosely guarded fragment, and
use such a procedure to answer Boolean conjunctive queries
against the Horn loosely guarded fragment. The Horn loosely
guarded fragment subsumes classes of rules that are prevalent
in ontology-based query answering, such as Horn $\mathcal{ALCHOI}$
and guarded existential rules. Additionally, we identify star
queries and cloud queries, which using our procedure, can be
answered against the loosely guarded fragment.},
}