析取Datalog程序的可Datalog重写性及其在本体推理中的应用

我们研究将析取Datalog程序重写为普通Datalog的问题。我们证明一个析取程序是可重写的当且仅当它等价于一个线性析取程序，从而提供了Datalog可重写性的一个新刻画。受此结果启发，我们提出弱线性析取Datalog——一种新颖的基于规则的KR语言，它扩展了Datalog和线性析取Datalog，并且其推理在数据复杂度上是易处理的。然后我们探索弱线性程序在本体推理中的应用，并提出OWL 2 RL的一个易处理扩展，包含析取公理。我们的实验结果表明，许多非Horn本体可以归约为弱线性程序，并且使用Datalog引擎对这些本体进行查询回答在实践中是可行的。