存在性规则的可靠、完备且最小 UCQ 重写
人工智能
2013-11-14 v1 计算机科学中的逻辑
摘要
我们探讨了基于本体的数据访问问题，其中本体以存在性规则（也称为 Datalog+/-）框架表示。一种众所周知的方法是利用本体知识重写查询。我们在此关注基本的重写技术，即将初始查询重写为合取查询的并集。首先，我们研究了一种通用的广度优先重写算法，该算法接受任何重写算子作为输入，并定义了确保算法正确性的重写算子属性。随后，我们聚焦于片段统一子 (piece-unifiers)，它提供了一种具有所需属性的重写算子。最后，我们提出了该框架的实现并报告了一些实验结果。
引用
@article{arxiv.1311.3198,
title = {Sound, Complete and Minimal UCQ-Rewriting for Existential Rules},
author = {Mélanie König and Michel Leclère and Marie-Laure Mugnier and Michaël Thomazo},
journal= {arXiv preprint arXiv:1311.3198},
year = {2013}
}
备注
29 pages