{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部分”:[[2023,9,15]],“日期-时间”:“2023-09-15T16:13:14Z”,“时间戳”:1694794394903},“引用-计数”:0,“发布者”:“通信科学指导中心(CCSD)”,“内容-域”:{-“域”:[],“交叉标记限制”:false},”short-container-ti tle“:[],“摘要”:“我们研究了本体中介查询和约束条件下查询的答案计数的复杂性,分别将连接查询和并集(UCQ)作为查询语言,将保护TGD作为本体和约束语言。我们的主要结果是根据答案计数是否是固定参数可处理的(FPT)、nW[1]等效、#W[1]等价、#W[2]硬或#a[2]等效进行分类,提升了最近对没有本体和Dell限制的UCQ的分类。该分类涉及各种结构度量,即树宽、合同树宽、星号和链接的匹配号。\n我们的结果基于这样一个假设:关系符号的arity由一个常量限定,并且在本体论中介查询的情况下,来自本体论和查询的所有符号都可以出现在数据中(所谓的完整数据模式)。\n我们还研究了上述结构度量的元问题,即确定给定的本体中介查询或约束查询规范是否等价于结构度量有界的查询或约束\n规范<\/jats:p>“,”DOI“:”10.46298\/lmcs-19(3:16)2023“,”type“:”journal-article“,”created“:{”date-parts“:[[2023,9,14]],”date-time“:”2023-09-14T14:24-28Z“,”timestamp“:1694701468000},”source“:“Crossref”,”is-referenced-by-count“:0,”title“:[”Answer Counting under Guarded TGDs“],”prefix“:”1046298“,”volume“”:“volume 19,Issue 3”,“作者”:[{“给定”:“克里斯蒂娜”,“family“:“Feier”,“sequence”:“first”,“affiliation”:[]},{“given”:“Carsten”,“family”:“Lutz”,“序列”:“additional”,“filiation“:[]{”sequence“:”Marcin“,“faily”:”Przyby\u0142ko“,”sequencement“:”additional“,”affiliation:[]}],“member”:“25203”,“published on”:{“date-parts”:[2023,9,14]},“container-title”:[“计算机科学中的逻辑方法”],“original-title“:[],”language“:”en“,”link“:[{”URL“:”http://\/lmcs.episciences.org\/12272\/pdf“,”content-type“:”application\/pdf”,”content-version“:”vor“,”intended-application“:”text-mining“},{”URL“:”http:\//lmcs.episcienciences.org\/12272\/pdf“相似性检查”}],“存放“:{“date-parts”:[[2023,9,14]],“date-time”:“2023-09-14T14:24:24Z”,“timestamp”:1694701468000},“score”:1,“resource”:{”primary“”URL“:”http://\/lmcs.episciences.org\/8768“}},”subtitle“:[],”shorttitle“:[],”issued“:{“date-ports”:[2023,9,14]]},,“references-count”:0,“URL”:“http:”\/\/dx.doi.org\/10.46298\/lmcs-19(3:16)2023“,”关系“:{“has-preprint“:[{“id-type”:“arxiv”,“id”:“2101.03058v3”,“asserted-by”:“subject”},{“ids-type“:”arxiv“,”id“:”2101.03058 v2“,”asserted-by“:”subjects“}],“is-same-as”:[{“id-type”:“argxiv”10.48550 \/arxiv.2101.03058“,”断言者“:”主题“}]},”ISSN“:[”1860-5974“],”ISSN-type“:[{”值“:”1860-5974“,”type“:”electronic“}],”subject“:[],”published“:{”date-parts“:[2023,9,14]]}}}