守护TGD下的应答计数

@第{Feier2021AnswerCU条，title={守护TGDs下的答案计数}，author={Cristina Feier、Carsten Lutz和Marcin Przyblyko}，日志={ArXiv}，年份={2021}，体积={abs/2101.03058}，网址={https://api.semanticscholar.org/CorpusID:231419074}}
本文研究了本体中介查询和约束下查询的答案计数复杂性，分别将连接查询及其联合（UCQ）作为查询语言，保护TGD作为本体和约束语言，结果基于关系符号的arity是由一个常数限定的假设。
[PDF]语义阅读器
4引文
背景引文
三

本文中的数字

4引文

关于ELHI本体的查询计数

本文的目的是将计数查询的研究扩展到DL-Lite族之外的Horn描述逻辑，并表明对于ELHIŞ和扩展EL或DL-Lite-pos-H的每个子逻辑，CCQ回答的组合复杂度是2EXP完全的。

DL Lite本体论上的基数查询（扩展摘要）

证明了当本体在DL-Lite-core中表示时，基数查询应答在数据复杂性方面是可处理的（TC0），但一旦允许角色包含，问题就变成了共NP问题。

计数查询的复杂性（扩展摘要）

这项工作总结了最近将计数查询的研究扩展到DL-Lite系列之外的Horn描述逻辑的工作，并提出了一些解决这些查询的新方法。

基于本体的查询回答：表达性和扩展

    计算机科学
本手稿探讨了这种设置的局限性，即布尔连接查询用于查询所谓的知识库，并研究了查询词语义的利用。

51参考文献

关于ELHI本体的查询计数

本文的目的是将计数查询的研究扩展到DL-Lite系列之外的Horn描述逻辑，并表明CCQ应答对于ELHIí和扩展EL或DL-Lite-pos-H的每个子逻辑的组合复杂度是2EXP完全的。

计算DL-Lite知识库上的查询答案

本文将重点放在计算知识库（KB）上的答案数上，知识库可以被视为一个包含有关所考虑域的背景知识的数据库，并针对DL-Lite系列中包含数字限制的不同成员，研究查询应答的数据复杂性。

保护TGD下开放和封闭世界查询评估的效率极限

在本体论中介的查询和存在约束的查询环境中，研究了有效查询评估的局限性，重点研究了保护和前沿保护的TGD以及作为实际查询的UCQ。

DL-Lite本体的基数查询（扩展抽象）

证明了当本体在DL-Lite-core中表示时，基数查询应答在数据复杂性方面是可处理的（TC0），但一旦允许角色包含，问题就变成了共NP问题。

DL-Lite上回答计数聚合查询的复杂性

应对无限追赶：表达关系约束下的问答

证明了TGD下的联合查询应答和查询包含问题是可判定的，以及EGD如何通过提供EGD不与TGD发生有害交互的条件而并入结果，并且不影响查询应答的可判定性和复杂性。

描述保护TGD上查询求值的固定参数可跟踪性（扩展摘要）

我们研究了在关系符号具有…

面向更具表现力的本体语言：查询应答问题

存在性问题的计数答案

得到了一个复杂性分类，它推广了Chen、Durand和Mengel关于合取查询的结果以及Curticapean和Marx关于子图计数问题的结果，并显示了排除网格理论的加强，这可能是独立的。

带有不等式和否定的连词查询的近似计数

如果φ是一个可能包含不定性和否定的合取查询，建立了可处理和难处理情况的穷举分类，并证明了有界分数超宽查询的FPRAS的存在性。
...