论文标题
确定松散的保护片段，并使用分辨率查询其角碎片
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
论文作者
论文摘要
我们考虑以下查询答案问题：鉴于布尔的结合查询和角质守卫片段中的理论，其目的是确定该查询是否由理论所涉及。在本文中，我们提出了一个松散保护的片段的决议决策程序，并使用这样的程序来回答布尔的结合查询，以针对喇叭声宽松守卫的碎片。基于本体的查询答案（例如Horn Alchoi和受保护的存在规则）在基于本体的查询答案中普遍存在的规则的规则范围宽松。此外，我们确定了使用我们的过程的星星查询和云查询，可以针对松散的保护片段来回答。
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.
