×

描述逻辑SHIQ的连接查询应答。 (英语) Zbl 1183.68244号

摘要:连接查询作为描述逻辑(DL)的一种表达性查询语言发挥着重要作用。虽然现代DL通常提供传递角色,但只有在查询中允许传递角色时,对DL知识库上的联合查询应答才理解得很差。在本文中,我们考虑在著名的DL-SHIQ知识库上的联合查询,并在查询和知识库中允许传递角色。在这种情况下,我们展示了查询应答的可判定性,并建立了两个严格的复杂度边界:对于组合复杂度,我们证明了存在一种确定的查询应答算法,该算法需要KB大小的单指数时间和查询大小的双指数时间,这是最优的。关于数据复杂性,我们证明了co-NP中的包含性。

MSC公司:

第68页,共15页 数据库理论
68甲15 编程语言理论

关键词:

查询语言
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司