保护的混合知识库
摘要：介绍了语义网上Description Logics和规则集成方面的研究兴趣。我们定义了有保护的混合知识库（或称为g-hybrid知识库），它由一个Description Logic知识库和一个有保护逻辑程序组成，类似于（Rosati 2006）中的DL+log知识库。g-hybrid知识库可以实现Description Logics和逻辑编程的集成，与其他方法不同的是，保护程序中的规则变量不需要出现在正非DL原子的体中，也就是说DL原子也可以充当保护项。通过将其缩减到开放答案集的语义下的保护程序，证明了g-hybrid知识库的可满足性检查的决定性，其近似于OWL DL的DLRO。此外，我们证明了对于这样的g-hybrid知识库的可满足性检查是2-EXPTIME-完全的。最后，我们讨论了与DL+log知识库相比，我们方法的优势和劣势。 标题：描述逻辑与逻辑编程在语义网上的集成
作者：Stijn Heymans, Jos de Bruijn, Livia Predoiu, Cristina Feier, Davy Van Nieuwenborgh
论文ID：0711.2155
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-11-15