表达性Datalog+/-中弱粘性程序的查询应答混合方法
数据库
2016-07-26 v2 人工智能
摘要
Datalog+/-是一类兼具良好计算特性与高表达能力的本体语言。Datalog+/-语言被证明能够刻画最相关的语义网语言。本文考虑弱粘性（WS）Datalog+/-程序类，其允许规则体中出现某些有用的连接形式，并扩展了著名的弱非循环TGD类。迄今为止，针对WS Datalog+/-程序的查询应答仅已知非确定性算法。我们提出了WS Datalog+/-下的新型确定性查询应答算法。具体而言，我们提出：（1）基于查询驱动chase的自底向上接地算法；（2）基于将WS程序转换为所谓粘性（sticky）程序的混合方法，而粘性程序已有查询重写技术。我们讨论了如何优化这些算法并在实际场景中有效应用于查询应答。
引用
@article{arxiv.1604.06770,
title = {A Hybrid Approach to Query Answering under Expressive Datalog+/-},
author = {Mostafa Milani and Andrea Cali and Leopoldo Bertossi},
journal= {arXiv preprint arXiv:1604.06770},
year = {2016}
}
备注
Extended version of RR'16 paper, to appear