带等词的存在的规则的目标驱动查询应答
人工智能
2017-11-22 v2
摘要
受 Datalog 的 magic sets 启发，我们提出了一种用于终止的带等词的存在规则（即 TGD 和 EGD）上查询应答的新型目标驱动方法。我们的技术通过剪枝与查询不相关的推论来提升查询应答的性能。在我们的设定中这具有挑战性，因为等词可能影响数据集中的所有谓词。我们通过将现有的单例化技术与两个新要素相结合来解决此问题：一种识别与查询相关规则的算法，以及一种新的 magic sets 算法。我们通过实验表明，我们的技术能显著提升查询应答性能，并且它可能意味着在几秒内应答查询与完全无法处理查询之间的差别。
引用
@article{arxiv.1711.05227,
title = {Goal-Driven Query Answering for Existential Rules with Equality},
author = {Michael Benedikt and Boris Motik and Efthymia Tsamoura},
journal= {arXiv preprint arXiv:1711.05227},
year = {2017}
}