文件Open Access徽标

保护TGD下的答案计数

作者 克里斯蒂娜·费尔, 卡斯滕·卢茨, Marcin Przybyłko

PDF格式
缩略图PDF

文件

LIPIcs公司。ICDT.2021.11.pdf
  • 文件大小：0.84 MB
  • 22页

文件标识符

作者详细信息

克里斯蒂娜·费尔
  • 德国不来梅大学计算机科学系
卡斯滕·卢茨
  • 德国不来梅大学计算机科学系
Marcin Przybyłko
  • 德国不来梅大学计算机科学系

基金

本研究由ERC合并者拨款647289 CODA和DFG项目QTEC资助。

致谢

我们感谢匿名评论员的有用评论。

引用为获取BibTex

克里斯蒂娜·费尔（Cristina Feier）、卡斯滕·卢茨（Carsten Lutz）和马金·普尔兹比·科（Marcin Przybyłko）。回答被保护TGD下的计数。第24届国际数据库理论会议（ICDT 2021）。莱布尼茨国际信息学论文集（LIPIcs），第186卷，第11:1-11:22页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2021）
https://doi.org/10.4230/LIPIcs.ICDT.2021.11

摘要

我们研究了本体中介查询和约束下查询的答案计数复杂性，分别将连接查询及其联合（UCQ）作为查询语言，保护TGD作为本体和约束语言。我们的主要结果是根据答案计数是固定参数可处理（FPT）、W[1]-等价、#W[1]等价、#W[2]-硬还是#a[2]-等价进行分类，根据Dell等人[Holger-Dell等人，2019]，取消了对没有本体和约束的UCQ的最新分类。分类与各种结构度量有关，即树宽、合同树宽、星大小和链接匹配数。我们的结果基于这样的假设，即关系符号的arity受一个常数的约束，并且在本体中介查询的情况下，来自本体和查询的所有符号都可以出现在数据中（所谓的完整数据模式）。我们还研究了上述结构度量的元问题，即确定给定的本体中介查询或约束查询规范是否与结构度量有界的规范等价。

主题分类

ACM科目分类
  • 计算理论→数据库理论
关键词
  • Ontology-Mediated查询
  • 在约束条件下查询
  • 答案计数
  • 参数化复杂性

度量标准

相关版本

工具书类

  1. 谢尔盖·阿比特布尔（Serge Abiteboul）、理查德·赫尔（Richard Hull）和维克托·维亚努（Victor Vianu）。数据库基础。Addison-Wesley，1995年。网址：http://webdam.iria.fr/Alice/.
  2. Franz Baader、Ian Horrocks、Carsten Lutz和Ulrike Sattler。描述逻辑导论。剑桥大学出版社，2017年。网址：https://doi.org/10.1017/9781139025355.
  3. Jean-François Baget、Michel Leclère、Marie-Laure Mugnier和Eric Salvat。关于存在变量的规则：走可判定线。Artif公司。智力。，175(9-10):1620-1654, 2011. 网址：https://doi.org/10.1016/j.artint.2011.03.002.
  4. Pablo Barceló，Gerald Berger和Andreas Pieris。基于规则的本体论中介查询的遏制。PODS，第267-279页，2018年。网址：https://doi.org/10.1145/3196959.3196963.
  5. Pablo Barceló、Victor Dalmau、Cristina Feier、Carsten Lutz和Andreas Pieris。保护TGD下开放和封闭世界查询评估的效率极限。过程中。PODS，2020年。网址：https://doi.org/10.1145/337539387653.
  6. 巴勃罗·巴塞洛、克里斯蒂娜·费尔、卡斯滕·卢茨和安德烈亚斯·皮利斯。本体论中介的查询何时有效？过程中。第1-13页，2019年。网址：https://doi.org/10.109/LICS.2019.8785823.
  7. 巴勃罗·巴塞洛、迭戈·菲格雷拉、乔治·戈特洛布和安德烈亚斯·皮利斯。联合查询的语义优化。《美国医学会期刊》，第67卷第6期，2020年。网址：https://doi.org/10.1145/3424908.
  8. 巴勃罗·巴塞洛、乔治·戈特洛布和安德烈亚斯·皮尔斯。约束条件下的语义非循环性。PODS，第343-354页，2016年。网址：https://doi.org/10.1145/2902251.2902302.
  9. 梅根·别文努（Meghyn Bienvenu）、昆汀·马尼埃（Quentin Manière）和米夏·托马佐（Michaöl Thomazo）。通过DL-Lite本体回答计数查询。过程中。IJCAI，2020年。网址：https://doi.org/10.24963/ijcai.2020/223.
  10. 梅根·别文努（Meghyn Bienvenu）和玛格达莱娜·奥尔蒂斯（Magdalena Ortiz）。通过数据可压缩描述逻辑进行本体中介的查询应答。过程中。《推理网》，LNCS第9203卷，第218-307页。斯普林格，2015年。网址：https://doi.org/10.1007/978-3-319-21768-0_9.
  11. 梅根·宾文努（Meghyn Bienvenu）、鲍尔登·卡特（Balder ten Cate）、卡斯滕·卢茨（Carsten Lutz）和弗兰克·沃尔特（Frank Wolter）。基于本体的数据访问：通过析取数据日志、CSP和MMSNP进行的研究。ACM事务处理。数据库系统。，39(4):33:1-33:44, 2014. 网址：https://doi.org/10.1145/2661643.
  12. 安德烈亚·卡尔、乔治·戈特洛布和迈克尔·基弗。驯服无限追逐：在表达型关系约束下进行查询回答。J.阿蒂夫。智力。2013年第48:115-174号决议。网址：https://doi.org/10.1613/jair.3873.
  13. 安德烈亚·卡尔、格奥尔格·戈特洛布和安德烈亚斯·皮尔斯。走向更具表现力的本体语言：查询-回答问题。Artif公司。智力。，193:87-128, 2012. 网址：https://doi.org/10.1016/j.artint.2012.08.002.
  14. Diego Calvanee、Julien Corman、Davide Lanti和Simon Razniewski。统计DL-Lite知识库上的查询答案。过程中。IJCAI，2020年。网址：https://doi.org/10.24963/ijcai.2020/230.
  15. 迭戈·卡尔瓦内斯（Diego Calvanee）、朱塞佩·德贾科莫（Giuseppe De Giacomo）和毛里齐奥·伦泽里尼（Maurizio Lenzerini）。约束条件下查询包含的可判定性。过程中。PODS第149-158页。ACM出版社，1998年。网址：https://doi.org/10.1145/275487.275504.
  16. Hubie Chen和Stefan Mengel。计算联合查询答案复杂性的三分法。过程中。ICDT，第110-126页，2015年。网址：https://doi.org/10.4230/LIPIcs.ICDT.2015.110.
  17. Hubie Chen和Stefan Mengel。计算存在正查询的答案：复杂性分类。过程中。PODS第315-326页，2016年。网址：https://doi.org/10.1145/2902251.2902279.
  18. 维科特·达尔摩和彼得·琼森。从另一方面看计算同态的复杂性。J.西奥。计算。科学。，329(1-3):315-323, 2004. 网址：https://doi.org/10.1016/j.tcs.2004.08.008.
  19. 霍尔格·戴尔、马克·罗斯和菲利普·威尼茨。计算存在主义问题的答案。过程中。ICALP，第113:1-113:15页，2019年。网址：https://doi.org/10.4230/LIPIcs.ICALP.2019.113.
  20. 阿诺德·杜兰德和斯特凡·门格尔。非循环连接查询加权计数的复杂性。J.计算。系统。科学。，80(1):277-296, 2014. 网址：https://doi.org/10.1016/j.jcss.2013.08.001.
  21. 阿诺德·杜兰德和斯特凡·门格尔。联合查询解决方案计数的结构可处理性。J.理论计算。系统。，57（4）：1202-12492015年。网址：https://doi.org/10.1007/s00224-014-9543-y.
  22. 罗纳德·费金、Phokion G.Kolaitis、Reneée J.Miller和Lucian Popa。数据交换：语义和查询应答。计算。科学。，336(1):89-124, 2005. 网址：https://doi.org/10.1016/j.tcs.2005.10.033网址.
  23. 克里斯蒂娜·费尔（Cristina Feier）、卡斯滕·卢茨（Carsten Lutz）和马金·普尔兹比·科（Marcin Przybyłko）。2021年受保护的TGD下的应答计数。网址：http://arxiv.org/abs/2101.03058.
  24. 迭戈·菲奎拉（Diego Figueira）。函数依赖下的语义非循环连接查询。过程中。第847-856页。ACM，2016年。网址：https://doi.org/10.1145/2933575.2933580.
  25. Jörg Flum和Martin Grohe。计数问题的参数化复杂性。SIAM J.计算。，33(4):892-922, 2004. 网址：https://doi.org/10.1137/S0097539703427203.
  26. 马丁·格罗。从另一方面看同态和约束满足问题的复杂性。J.ACM，54（1）：1:1-1:242007年。网址：https://doi.org/10.1145/12060035.1206036.
  27. David S.Johnson和Anthony C.Klug。在函数依赖和包含依赖下测试连接查询的包含。J.计算。系统。科学。，28(1):167-189, 1984. 网址：https://doi.org/10.1016/0022-0000(84)90081-3.
  28. Bogdan Kostov和Petr Kremen。统计多个链接数据集上的不同语义查询。OJSW，5（1）：2018年1月11日。网址：http://nbn-resolution.de/urn:nbn:de:101:1-201712245426.
  29. Egor V.Kostylev和Juan L.Reutter。通过DL-Lite回答计数聚合查询的复杂性。J.Web Semant。，33:94-111, 2015. 网址：https://doi.org/10.1016/j.websem.2015.05.003.
  30. Nicola Leone、Marco Manna、Giorgio Terracina和Pierfrancisco Veltri。对存在规则的快速查询回答。ACM事务处理。计算。日志。，20(2):12:1-12:48, 2019. 网址：https://doi.org/10.1145/3308448.
  31. David Maier、Alberto O.Mendelzon和Yehoshua Sagiv。测试数据依赖性的含义。ACM事务处理。数据库系统。，4(4):455-469, 1979. 网址：https://doi.org/10.1145/321007.320115.
  32. 莱因哈德·皮克勒（Reinhard Pichler）和塞巴斯蒂安·斯克里泰克（Sebastian Skritek）。连词查询答案的可追踪计数。J.计算。系统。科学。，79(6):984-1001, 2013. 网址：https://doi.org/10.1016/j.jcss.2013.01.012.
  33. 安东内拉·波吉、多梅尼科·伦博、迭戈·卡尔瓦内斯、朱塞佩·德贾科莫、毛里齐奥·伦泽里尼和里卡多·罗萨蒂。将数据链接到本体。《数据语义学杂志》，4900:133-1732008年。网址：https://doi.org/10.1007/978-3-540-77688-8_5.
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人