计算超越Horn本体的Datalog重写
人工智能
2013-04-09 v2
摘要
迄今为止，针对OWL 2 DL本体上的查询回答，基于重写的方法主要针对OWL 2 DL的Horn片段开发。本文研究了使用Datalog重写对非Horn本体进行查询回答的可能性。我们证明，即使对于非常简单的本体语言，甚至当PTIME = NP时，这通常也是不可能的。此外，我们提出了一种基于消解的本体程序，该程序在终止时产生本体的Datalog重写。我们的程序必然在DL-Lite_{bool}^H本体上终止——这是OWL 2 QL在传递角色和布尔连接词上的扩展。
引用
@article{arxiv.1304.1402,
title = {Computing Datalog Rewritings beyond Horn Ontologies},
author = {Bernardo Cuenca Grau and Boris Motik and Giorgos Stoilos and Ian Horrocks},
journal= {arXiv preprint arXiv:1304.1402},
year = {2013}
}
备注
14 pages. To appear at IJCAI 2013