×
查拉兰波斯·尼古劳;埃戈尔·柯斯特列夫（Egor V.Kostylev）。;乔治·康斯坦蒂尼迪斯;马克·卡明斯基;伯纳多·昆卡·格劳;伊恩·霍洛克斯

包语义下基于本体的数据访问基础。 （英文） 兹比尔1478.68366

Artif公司。智力。 274, 91-132 (2019).
摘要：基于本体的数据访问（OBDA）是一种通过共享本体集成和查询多个数据源的流行方法。本体使用映射链接到源，映射分配给数据上的本体谓词视图。OBDA的传统语义是基于集合的，即映射定义的视图的扩展不包含重复元组。然而，这种处理方式与数据库视图和数据库管理系统的标准语义不一致，一般来说，数据库视图和数据管理系统基于包，默认情况下保留重复元组。数据库中集合语义和包语义的区别在实践中非常重要，它影响聚合查询的评估。在本文中，我们提出并研究了OBDA的包语义，为将来的聚合和分析查询研究奠定了坚实的基础。我们的语义与数据库视图的包语义和OBDA的基于集合的传统语义都兼容。此外，它与文献中最近提出的用于数据交换的现有基于bag的语义兼容。我们表明，采用包语义可以在OBDA中进行连接查询应答coNP公司-数据复杂度高。为了恢复查询回答的可处理性，我们考虑了三个维度上的适当限制，即查询语言、本体语言和采用唯一名称假设。我们的研究显示了DL-Lite家族中基于本体的包语义的查询应答的计算特性的完整画面。

引用于1文件

MSC公司：

68立方英尺 知识表示
68T27型 人工智能中的逻辑

关键词：

基于本体的数据访问;描述逻辑;包语义;问答;查询重写

软件：

Ontop（顶部）;MASTRO公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Nikolaou}等人，Artif。智力。274、91——132（2019年；Zbl 1478.68366）
全文： 内政部

参考文献：

[1] 尼古拉·C·。；Kostylev，E.V。；康斯坦丁尼迪斯，G。；卡明斯基，M。；Cuenca Grau，B。；Horrocks，I.，《基于本体论的数据访问的包语义》，（第26届国际人工智能联合会议（2017）论文集），1224-1230
[2] Poggi，A。；伦博，D。；Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Rosati，R.，《将数据链接到本体论》，J.data Semant。，10, 133-173 (2008) ·Zbl 1132.68061号
[3] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Poggi，A。；罗德里格斯·穆罗，M。；罗萨蒂，R。；Ruzzi，M。；Savo，D.F.，用于基于本体的数据访问的MASTRO系统，Semant。网络，2，1，43-53（2011）
[4] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Poggi，A。；罗德里格斯·穆罗，M。；Rosati，R.，《本体论和数据库：DL-Lite方法》，（第五届国际推理网络暑期学校学报：信息系统语义技术，教程讲座（2009）），255-356·Zbl 1254.68106号
[5] Calvanee，D。；科格雷，B。；Komla-Ebri，S。；康查科夫，R。；Lanti，D。；Rezk，M。；罗德里格斯·穆罗，M。；Xiao，G.，Ontop:通过关系数据库回答SPARQL查询，Semant。Web，8，3，471-487（2017）
[6] Kharlamov，E。；霍夫兰，D。；Jiménez-Ruiz，E。；Lanti，D。；Lie，H。；平克尔，C。；Rezk，M。；Skjveland，M.G。；托尔斯滕森，E。；肖·G。；Zheleznyakov博士。；Horrocks，I.，Statoil基于本体的勘探数据访问（第14届国际语义网络会议（2015）论文集第二部分），93-112
[7] Kharlamov，E。；梅利斯，T.P。；贝雷塔，K。；比利达斯，D。；Brandt，S。；Jiménez-Ruiz，E。；Lamparter，S。；Neuenstadt，C.公司。；Özçep，Ø。法律。；Soylu，A。；斯文戈斯，C。；肖·G。；Zheleznyakov博士。；Calvanee，D。；霍洛克斯，I。；Giese，M。；约安尼迪斯，Y.E。；Kotidis，Y。；Möller，R。；Waaler，A.，《多义存储的语义方法》（IEEE国际大数据会议论文集（2016）），2565-2573
[8] Lenzerini，M.，《数据集成：理论视角》，（第21届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（2002）），233-246
[9] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可牵引推理和高效查询回答：DL-Lite家族，J.Autom。原因。，39, 3, 385-429 (2007) ·Zbl 1132.68725号
[10] B.Motik，B.Cuenca Grau，I.Horrocks，Z.Wu，A.Fokoue，C.Lutz，OWL 2 Web本体语言概要，第二版，W3C推荐标准。；B.Motik、B.Cuenca Grau、I.Horrocks、Z.Wu、A.Fokoue、C.Lutz、OWL 2 Web本体语言概要，第二版，W3C建议书。
[11] Doan，A。；Halevy，A.Y。；Ives，Z.G.，《数据集成原理》（2012），摩根考夫曼
[12] Artale，A。；Calvanee，D。；康查科夫，R。；Zakharyaschev，M.，《DL-Lite家族和关系》，J.Artif。智力。Res.，36，1-69（2009年）·Zbl 1192.68657号
[13] Gottlob，G。；南科他州Kikot。；康查科夫，R。；波多尔斯基，V.V。；Schwentick，T。；Zakharyaschev，M.，基于本体的数据访问中查询重写的代价，Artif。智力。，213, 42-59 (2014) ·Zbl 1390.68246号
[14] Bienvenu，M。；南科他州Kikot。；康查科夫，R。；波多尔斯基，V.V。；Zakharyaschev，M.，Ontology-mediated queries:通过电路复杂性实现重写的复杂性和简洁性的结合，J.ACM，65，5，第28条pp.（2018）·Zbl 1426.68075号
[15] 平托，F.D。；Lembo博士。；Lenzerini，M。；曼奇尼（Mancini，R.）。；Poggi，A。；罗萨蒂，R。；Ruzzi，M。；Savo，D.F.，在基于本体的数据访问中优化查询重写，（2013年EDBT/ICDT联合会议，EDBT’13会议记录。2013年EDBT/ICDT会议记录，EDBT'13会议记录，意大利热那亚，2013年3月18日至22日（2013）），561-572
[16] 康查科夫，R。；Rezk，M。；罗德里格斯·穆罗，M。；肖·G。；Zakharyaschev，M.，在OWL 2 QL包含机制下回答数据库上的SPARQL查询，（第13届国际语义网络会议（2014）论文集第一部分），552-567
[17] Sequeda，J.F。；阿雷纳斯，M。；Miranker，D.P.，OBDA：查询重写还是物化？在实践中，两者都有！，（2014年10月19日至23日，意大利Riva del Garda，《语义网络——ISWC 2014-第13届国际语义网络会议》，第一部分会议记录（2014）），535-551
[18] 古普塔，A。；Mumick，I.S.，《物化视图：技术、实现和应用》（1999），麻省理工学院出版社
[19] 加西亚·莫利纳，H。；Ullman，J.D。；Widom，J.，《数据库系统：全书》（2009），培生教育
[20] Hernich，A。；Kolaitis，P.G.，《包语义下信息集成的基础》，（第32届ACM/IEEE计算机科学逻辑研讨会论文集（2017）），1-12·Zbl 1457.68080号
[21] Bienvenu，M。；卢茨，C。；Wolter，F.，《重新考虑描述逻辑中的查询遏制》（第十三届知识表示与推理原则国际会议论文集（2012）），221-231
[22] Grumbach，S。；Milo，T.，走向袋子的可处理代数，J.Comput。系统。科学。，52, 3, 570-588 (1996) ·Zbl 0860.68039号
[23] 利布金，L。；Wong，L.，包和聚合函数的查询语言，J.Compute。系统。科学。，55, 2, 241-272 (1997) ·Zbl 0887.68022号
[24] Artale，A。；Calvanee，D。；康查科夫，R。；Zakharyaschev，M.，《DL-Lite家族和关系》，J.Artif。智力。决议，36，1-69（2009年）·Zbl 1192.68657号
[25] Dayal，U。；古德曼，N。；Katz，R.H.，《控制重复消除的扩展关系代数》（ACM数据库系统原理研讨会论文集（1982）），117-123
[26] Albert，J.，包数据类型的代数性质，（第17届超大数据库国际会议论文集（1991）），211-219
[27] 格鲁姆巴赫，S。；利布金，L。；Milo，T。；Wong，L.，包的查询语言：表达能力和复杂性，SIGACT News，27，2，30-44（1996）
[28] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·Zbl 0848.68031号
[29] 南部乔杜里。；Vardi，M.Y.，实际连接查询的优化，（第十二届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（1993）），59-70
[30] Jayram，T.S。；Kolaitis，P.G。；Vee，E.，具有不等式的REAL联合查询的包含问题，（第25届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（2006）），80-89
[31] Cohen，S.，《对多重性敏感的查询等价性》，VLDB J.，18，3，765-785（2009）
[32] 费金，R。；Kolaitis，P.G。；米勒，R.J。；Popa，L.，《数据交换：语义和查询应答》，Theor。计算。科学。，336, 1, 89-124 (2005) ·Zbl 1080.68019号
[33] 约安尼迪斯，Y.E。；Ramakrishnan，R.，合取查询的包含：超越关系作为集合，ACM Trans。数据库系统。，20, 3, 288-324 (1995)
[34] 伦博，D。；桑塔雷利，V。；Savo，D.F.，OWL 2 QL中基于图形的本体分类，（第十届语义网国际会议论文集：语义和大数据（2013）），320-334
[35] 卡尔？，A。；戈特洛布，G。；Kifer，M.，《驯服无限追逐：表达关系约束下的查询应答》，J.Artif。智力。研究，48，115-174（2013）·Zbl 1361.68221号
[36] Kostylev，E.V。；Reutter，J.L.，通过DL-Lite回答计数聚合查询的复杂性，J.Web Semant。，33, 94-111 (2015)
[37] 南科他州Kikot。；康查科夫，R。；Zakharyaschev，M.，用OWL 2 QL回答连词查询，（第十三届知识表示与推理原理国际会议论文集（2012）），275-285
[38] Calvanee，D。；Kharlamov，E。；纳特·W。；Thorne，C.，《本体论的聚合查询》（第二届语义网本体论和信息系统国际研讨会论文集（2008）），97-104
[39] 阿雷纳斯，M。；贝托西，L.E。；乔米奇，J。；何，X。；拉加万，V。；Spinrad，J.P.，《不一致数据库中的标量聚合》，Theor。计算。科学。，296、3405-434（2003年）·Zbl 1045.68049号
[40] Libkin，L.，《数据交换和不完全信息》，（第25届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（2006）），60-69
[41] Afrati，F.N。；Kolaitis，P.G.，回答数据交换中的聚合查询，（第27届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（2008）），129-138
[42] 姜瑜，《基于多集的描述逻辑》，（第六届语义网不确定性推理国际研讨会论文集（2010）），第1-12页
[43] 利布金，L。；Wong，L.，研究集合语言、包语言和聚合函数的新技术，（第13届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集（1994）），155-166
[44] Marco Console，L.L。；Guagliardo，Paolo，《关于在包语义下查询数据库中的不完整信息》，（第26届国际人工智能联合会议（2017）会议记录），993-999
[45] 卡明斯基，M。；Kostylev，E.V。；Cuenca Grau，B.，SPARQL 1.1中的查询嵌套、分配和聚合，ACM Trans。数据库系统。，42、3、第17条pp.（2017）
[46] 角度，R。；Gutierrez，C.，SPARQL模式的多集语义，（第15届国际语义网络会议（2016）论文集第一部分），20-36
[47] Gutiérrez-Basulto，V。；Ibáñez-Garcia，Y.a。；康查科夫，R。；Kostylev，E.V.，《轻量级本体论上否定和不等式的查询》，J.Web Semant。，35, 184-202 (2015)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。