Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

preprint · Research Explorer (The University of Manchester)

Untitled

Sen Zheng, Renate A. Schmidt

Cited by 0Abstract and details only

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.

Cite this paper

APA 7

Zheng, S., & Schmidt, R. A. (n.d.). Untitled. Research Explorer (The University of Manchester).

MLA 9

Zheng, Sen, and Renate A. Schmidt. “Untitled.” Research Explorer (The University of Manchester).

Chicago

Zheng, Sen, and Renate A. Schmidt. n.d.. “Untitled.” Research Explorer (The University of Manchester).

Harvard

Zheng, S. and Schmidt, R.A. (n.d.) ‘Untitled’, Research Explorer (The University of Manchester).

BibTeX
@misc{zhenguntitled,
  title = {{Untitled}},
  author = {Zheng, Sen and Schmidt, Renate A.},
  journal = {Research Explorer (The University of Manchester)}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers