首页/论文/1407.6885

arXiv 1407.68852014-07-25cs.AI

潜在规则的扩展无环性概念（\emph{long version}）

Extending Acyclicity Notions for Existential Rules (\emph{long version})

INRIA（法国国家信息与自动化研究所）；University of Angers（昂热大学）；University of Montpellier（蒙彼利埃大学）

Jean-Francois Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

备注：: This report contains a revised version (July 2014) of the paper that will appear in the proceedings of ECAI 2014 and an appendix with proofs that could not be included in the paper for space restriction reasons

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

已经提出了用于表示本体知识的潜在规则，特别是在基于本体的查询分类的上下文中。存在规则的蕴涵是不可判定的。我们专注于在本文中的条件，确保终止的宽度优先的前向链接算法被称为追逐。首先，我们提出了一个新的工具，允许扩展现有的非循环条件，确保追逐终止，同时保持良好的复杂性属性。其次，我们考虑了稳定模型语义下非单调否定的存在规则的扩展，并进一步扩展了正情况下的非循环性结果。

英文摘要：

Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. First, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. Second, we consider the extension to existential rules with nonmonotonic negation under stable model semantics and further extend acyclicity results obtained in the positive case.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

再论势规则的Chase终止及其对非单调否定的推广

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation

INRIA（法国国家信息与自动化研究所）；University of Angers（昂热大学）；University of Montpellier（蒙彼利埃大学）

已经提出了用于表示本体知识的潜在规则，特别是在基于本体的数据访问的上下文中。存在规则的蕴涵是不可判定的。我们专注于在本文中的条件，确保终止的宽度优先的前向链接算法被称为追逐。已经提出了几种追逐的变体。在本文的第一部分，我们提出了一个新的工具，允许扩展现有的非循环条件，确保追逐终止，同时保持良好的复杂性属性。在第二部分中，我们研究了稳定模型语义下非单调否定的存在规则的扩展，讨论了这些规则的追逐变体的相关性，并进一步扩展了在正情况下得到的非循环性结果。

2014-07-25cs.AI

潜在规则的无环性概念及其在本体查询中的应用

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

University of Oxford（牛津大学）

在知识表示和数据库中，基于存在规则扩展的事实集的合取查询是一个突出的问题。这个问题可以使用chase算法来解决，该算法用新的事实扩展给定的事实集以满足规则。如果追踪终止，则CQ可以直接在结果事实集中进行评估。然而，追逐并不一定会终止，并且检查追逐是否在给定的一组规则和事实上终止是不可判定的。许多非循环概念被提出作为追逐终止的充分条件。在本文中，我们提出了两个新的无环性概念称为模型忠实无环性（MFA）和模型概括无环性（MSA）。此外，我们调查的景观已知的非周期性概念，并建立一个完整的分类所有的概念，我们知道。最后，我们表明，MFA和MSA概括了这些概念。潜在规则与OWL 2本体语言的Horn片段密切相关;此外，几个著名的OWL 2推理机通过使用追逐来实现所有相关事实的CQ回答。为了避免终止问题，这些系统中的许多只处理OWL 2的OWL 2 RL配置文件;此外，一些系统超越了OWL 2 RL，但没有任何终止保证。在本文中，我们还探讨了各种非周期性的概念是否可以提供一个原则和实际的解决方案，这些问题。在理论方面，我们表明，查询回答非循环本体是较低的复杂性比一般的本体。在实践方面，我们表明，许多常用的OWL 2本体是MSA，并且通过物化获得的事实的数量并不太大。因此，我们的研究结果表明，基于物化的OWL 2推理机的原则性发展实际上是可行的。

2014-02-04cs.AIcs.DB

等价规则本体上的Chase终止性检验

Checking Chase Termination over Ontologies of Existential Rules with Equality

Institute for Theoretical Computer Science（理论计算机科学研究所）；Technische Universität Dresden（德累斯顿工业大学）；Department of Computer Science（计算机科学系）；Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）

Chase算法是一个完善的基于存在规则的本体的合取查询应答算法。为了使它能够有效地使用，我们可以应用非循环性概念;也就是说，保证追逐终止的充分条件。不幸的是，这些概念中的大多数只定义为不具有相等性的存在规则集。一个建议的解决方案，以规避这个问题是对待平等作为一个普通的谓词与明确的公理化。我们的经验表明，这种解决方案在实践中是没有效率的，并提出了一种替代方法。更确切地说，我们表明，如果追逐终止任何平等公理化的本体论，那么它终止的原始本体论（可能包含平等）。因此，可以应用现有的非循环概念来检查本体的公理化上的追逐终止，然后使用原始本体进行推理。我们表明，在实践中，这样做的结果在一个更有效的推理过程。此外，我们提出了平等模型忠实的无环性，一个一般的无环性概念，可以直接应用到本体的平等。

2019-11-25cs.AIcs.LO

使用Forall-Prostitial桥规则在上下文化RDF/OWL知识上的查询查询：使用非循环性实现可判定性（完整版）

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)

DKM, FBK-IRST（FBK-IRST 的 DKM 部门）；DISI, University Of Trento（特伦托大学 DISI 系）

最近爆发的上下文相关的知识语义网（SW），导致了实现的重要性，四元在SW社区。四元组通过添加RDF三元组的“上下文”的新参数来扩展标准RDF三元组，从而通知推理机区分各种上下文中的知识。虽然这种区别将RDF图中的三元组分成不同的上下文，并允许推理在不同的上下文之间解耦，但需要提供桥接规则来跨这些上下文互操作知识。我们将一组四边形与桥牌规则一起称为四边形系统。本文讨论了四元系统上具有可表达的存在桥规则的查询应答问题。事实证明，在四系统上的查询回答一般是不可判定的。我们推导出一类可判定的四系统，即上下文非循环四系统，查询回答可以使用前向链接。已经为派生类建立了数据和查询蕴涵的组合复杂性的严格界限。

2014-06-03cs.AIcs.LO

用潜在规则追逐溪流

Chasing Streams with Existential Rules

Vrije Universiteit Amsterdam（阿姆斯特丹自由大学）；Technische Universität Dresden（德累斯顿工业大学）；Technische Universität Wien（维也纳工业大学）

我们研究了存在规则的推理，以执行数据流的查询回答。在静态数据库中，这个问题已经得到了广泛的研究，但它的扩展到快速变化的数据尚未被考虑。为了弥合这一差距，我们扩展了LARS，一个著名的基于规则的流推理框架，支持存在规则。为此，我们展示了如何将LARS与存在主义翻译成一组语义保持的存在主义规则。由于查询回答这样的规则是不可判定的一般情况下，我们描述了如何利用流的时间性质，并提出适当的概念，确保可判定性的非周期性。

2022-05-04cs.AIcs.DB

基于全可能桥接规则的上下文化RDF/OWL知识查询：可判定有限扩展类

Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)

FBK-IRST（布鲁诺·凯斯勒基金会研究院）；University Of Trento（特伦托大学）；Otto-von-Guericke University of Magdeburg（马格德堡奥托·冯·格里克大学）

语义Web（SW）中上下文化知识的激增导致了诸如\emph{quads}之类的知识格式在SW社区中的流行。quad是RDF三元组的扩展，包含三元组的上下文信息。在本文中，我们研究的问题，查询回答四倍增加forall存在的桥规则，使在各种情况下的三元组之间的推理的互操作性。我们称一组四边形与这样的表达桥规则，一个四边形系统。一般来说，四系统上的查询应答是不可判定的。我们推导出可判定类的四系统，查询回答可以使用正向链接。健全的，完整的和终止的程序，这是众所周知的追逐算法的适应，提供这些类决定查询蕴涵。安全，msafe，和csafe类的四系统限制的追逐计算过程中产生的空白节点的结构有界深度的有向无环图（DAG）。RR和受限RR类不允许在追踪计算过程中生成空节点。数据和组合的复杂性的查询蕴涵已建立派生类。我们进一步表明，四系统是等价的forall存在的规则，其谓词被限制到三进制，模多项式时间的翻译。我们随后表明，安全技术严格包含在表达性中，一些众所周知的表达性技术，例如联合非循环性和模型忠实非循环性，用于在普遍存在规则领域中的可判定性保证。

2015-12-12cs.AIcs.DBcs.LO

更多相关论文收起更多论文

扩展弱粘性数据库+/-：查询查询的可追溯性和优化

Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations

Carleton University（卡尔顿大学）

弱粘性（WS）Datasheet +/-是Datasheet +/-程序家族中的一个表达成员，它基于粘性和弱非循环的语法概念。WS程序上的查询应答已经得到了研究，但在实用的查询应答算法的设计和实现及其优化方面还有很多工作要做。在这里，我们研究粘性和WS程序的追逐过程的行为的角度来看，扩展的粘性财产的追逐广义粘性的追逐（GSCH属性）。利用此属性，我们指定了GSCh程序的语义类，其中包括粘性程序和WS程序，以及我们识别的其他语法子类。特别是，我们介绍联合弱粘性（JWS）的程序，其中包括WS程序。我们还提出了一个自下而上的QA算法的一系列子类的GSCh。对于JWS程序，该算法在多项式时间（在数据中）内运行。与WS类不同，JWS在一般的魔集重写过程下是封闭的，用于优化具有存在规则的程序。我们将魔集重写与所提出的QA算法相结合，用于JWS程序的QA优化。

2016-07-10cs.AIcs.DB