Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

S. Zheng; R. A. Schmidt

doi:10.1609/aaai.v34i03.5703

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 resolution 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 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.

Original language	English
Title of host publication	Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020)
Publisher	AAAI Press
Pages	3080-3087
Number of pages	8
ISBN (Print)	978-1-57735-823-7
DOIs	https://doi.org/10.1609/aaai.v34i03.5703
Publication status	Published - 3 Apr 2020

Access to Document

10.1609/aaai.v34i03.5703

https://aaai.org/ojs/index.php/AAAI/article/view/5703

1 Article

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Zheng, S. (Corresponding) & Schmidt, R. A., 23 Nov 2023, In: Journal of Automated Reasoning. 67, 68 p., 39.
Research output: Contribution to journal › Article › peer-review

Open Access
File
32 Downloads (Pure)

Cite this

@inproceedings{9f7d1b723c0046188d3b5a0b9e6c9944,

title = "Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution",

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 resolution 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 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.",

author = "S. Zheng and Schmidt, {R. A.}",

year = "2020",

month = apr,

day = "3",

doi = "10.1609/aaai.v34i03.5703",

language = "English",

isbn = "978-1-57735-823-7",

pages = "3080--3087",

booktitle = "Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020)",

publisher = "AAAI Press",

address = "United States",

}

TY - GEN

T1 - Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

AU - Zheng, S.

AU - Schmidt, R. A.

PY - 2020/4/3

Y1 - 2020/4/3

N2 - 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 resolution 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 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.

AB - 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 resolution 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 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.

U2 - 10.1609/aaai.v34i03.5703

DO - 10.1609/aaai.v34i03.5703

M3 - Conference contribution

SN - 978-1-57735-823-7

SP - 3080

EP - 3087

BT - Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020)

PB - AAAI Press

ER -

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Abstract

Access to Document

Fingerprint

Research output

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Cite this