格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 描述逻辑SHIQ的连接查询应答。 (英语) Zbl 1183.68244号 J.人工制品。因特尔。研究(JAIR) 31, 157-204 (2008). 摘要:连接查询作为描述逻辑(DL)的一种表达性查询语言发挥着重要作用。虽然现代DL通常提供传递角色,但只有在查询中允许传递角色时,对DL知识库上的联合查询应答才理解得很差。在本文中,我们考虑在著名的DL-SHIQ知识库上的联合查询,并在查询和知识库中允许传递角色。在这种情况下,我们展示了查询应答的可判定性,并建立了两个严格的复杂度边界:对于组合复杂度,我们证明了存在一种确定的查询应答算法,该算法需要KB大小的单指数时间和查询大小的双指数时间,这是最优的。关于数据复杂性,我们证明了co-NP中的包含性。 引用于26文件 MSC公司: 第68页,共15页 数据库理论 68甲15 编程语言理论 关键词:查询语言 软件:故障电流互感器++;颗粒 PDF格式BibTeX公司 XML格式引用 \textit{B.Glimm}等人,J.Artif。因特尔。研究(JAIR)31,157--204(2008;Zbl 1183.68244) 全文: arXiv公司