×

兹马思-数学第一资源

查询\(\mathcal{ALC}\)本体的不可分离性。(英语) Zbl 07099201
摘要:我们研究两个本体是否不可区分(或不可分割),这是本体工程任务(如本体版本控制、模块化、更新和遗忘)的基础。我们同时考虑知识库(KB)和TBox的不可分性。对于KBs,我们给出了(有限部分)同态和乘积的模型理论准则,并证明了该问题对于合取查询(CQs)是不可判定的,但是2ExpTime公司-完成CQs(UCQ)的联合。如果用根(U)cq替换(U)cq,则同样的结果成立,其中每个变量都连接到一个应答变量。我们还证明了,如果在轻量级DL(\mathcal{EL})中给定一个KB,并且没有对CQs的签名施加任何限制,CQs的不可分性仍然是不可判定的。我们还考虑了两个\(\mathcal{ALC})tbox是否对给定签名中任何ABox的任何查询给出相同的答案,并证明对于CQs,这个问题也是不可判定的。然后我们为喇叭\(\mathcal{ALC}\)t框并使用树自动机显示,相比之下,不可分性变得可判定,并且ExpTime公司-完全,甚至ExpTime公司-仅限于根CQs的(联合)时完成。
理学硕士:
68吨 人工智能
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Poggi,A.;Lembo,D.;Calvanese,D.;De Giacomo,G.;Lenzerini,M.;Rosati,R.《将数据与本体论联系起来》,数据语义杂志,第10期,第133-173页,(2008年)·Zbl 1132.68061
[2] Bienvenu,M.;Ortiz,M.,《基于数据可处理描述逻辑的本体中介查询回答》,(第11届推理网络国际暑期学校教程讲座(RW 2015),(2015)),218-307·Zbl 1358.68086
[3] Kontchakov,R.;Rodriguez Muro,M.;Zakharyaschev,M.,《基于本体的数据库数据访问:短期课程》,(第九届推理网络国际暑期学校教程讲座(RW 2013),(2013年)),194-229
[4] Calvanese,D.;De Giacomo,G.;Lembo,D.;Lenzerini,M.;Rosati,R.,《描述逻辑中的可处理推理和有效查询回答:DL-Lite家族》,J.Autom。原因,39385-429,(2007年)·Zbl 1132.68725
[5] Calvanese,D.;De Giacomo,G.;Lembo,D.;Lenzerini,M.;Poggi,A.;Rodriguez Muro,M.;Rosati,R.;Ruzzi,M.;Savo,D.F.,《基于本体的数据访问的MASTRO系统》,Semant。网络,2,43-53,(2011年)
[6] Rodriguez Muro,M.;Kontchakov,R.;Zakharyaschev,M.,《基于本体的数据访问:数据库本体论》,《第12届国际语义网络会议论文集》(ISWC 2013),(2013),Springer),558-573
[7] Eiter,T.;Ortiz,M.;Simkus,M.;Tran,T.;Xiao,G.,《Horn SHIQ plus规则的查询重写》,《第26届全国人工智能会议论文集》(AAAI 2012),(2012),AAAI出版社,726-733
[8] Trivela,D.;Stoilos,G.;Chortaras,A.;Stamou,G.B.,《优化OWL本体论的基于分辨率的重写算法》,J.Web Semant.,33,30-49,(2015年)
[9] Kollia,I.;Glimm,B.,《优化基于OWL本体论的SPARQL查询应答》,J.Artif。因特尔。第48253-303号决议(2013年)·Zbl 1277.68257
[10] Zhou,Y.;Grau,B.C.;Nenov,Y.;Kaminski,M.;Horrocks,I.,Pagoda:使用数据日志推理器J.Artif进行即付即用本体查询回答。因特尔。第54309-367号决议(2015年)·Zbl 1343.68073
[11] Noy,N.F.;Musen,M.A.,PromptDiff:用于比较本体版本的定点算法,(第18届全国人工智能会议论文集(AAAI 2002),(2002年),AAAI出版社:AAAI出版社,加利福尼亚州门罗公园,美国),744-750
[12] Klein,M.C.A.;Fensel,D.;Kiryakov,A.;Ognyanov,D.,《Web上的本体版本控制和变更检测》,(知识工程和知识管理:本体论和语义网。知识工程与知识管理:本体论与语义网,《计算机科学课堂讲义》,第2473卷(2002年),斯普林格-维拉格:柏林/海德堡,德国),247-259
[13] Redmond,T.;Smith,M.;Drummond,N.;Tudorache,T.,《管理变化:本体版本控制系统》,《第五届OWL国际研讨会论文集:经验和方向》(OWLED 2008)。《第五届猫头鹰国际研讨会论文集:经验与方向》(2008年),中欧大学研讨会论文集,第432卷,(2008年)
[14] Jimenez Ruiz,E.;Cuenca Grau,B.;Horrocks,I.;Llavori,R.B.,支持并行本体开发:框架、算法和工具、数据知识。《工程学》,70146-164,(2011年)
[15] Konev,B.;Ludwig,M.;Walther,D.;Wolter,F.《轻量级描述逻辑的逻辑差异》EL,J.Artif。因特尔。第44633-708号决议(2012年)·Zbl 1253.68303
[16] (Stuckenschmidt,H.;Parent,C.;Spaccapietra,S.,《模块化本体论:知识模块化的概念、理论和技术》。模块本体论:知识模块化的概念、理论和技术,计算机科学课堂讲稿,第5445卷,(2009),斯普林格)·Zbl 1163.68005
[17] Kutz,O.;Mossakowski,T.;Lücke,D.,Carnap,Goguen和超本体论:本体设计中的逻辑多元论和异构结构,Log。大学,4255-333,(2010年)·Zbl 1255.68153
[18] Cuenca Grau,B.;Horrocks,I.;Kazakov,Y.;Sattler,U.《本体论的模块化重用:理论与实践》,J.Artif。因特尔。第31273-318号决议(2008年)·Zbl 1183.68479
[19] Kontchakov,R.;Wolter,F.;Zakharyaschev,M.,《基于逻辑的本体比较和模块提取》,及其在DL-Lite,Artif上的应用。国际期刊,1741093-1141,(2010年)·Zbl 1238.68154
[20] Romero,A.A.;Kaminski,M.;Grau,B.C.;Horrocks,I.《通过数据日志推理进行表达本体语言中的模块提取》,J.Artif。因特尔。第55499-564号决议,(2016年)·Zbl 1352.68235
[21] De Giacomo,G.;Lenzerini,M.;Poggi,A.;Rosati,R.,《描述逻辑本体论中的实例级更新和删除》,J.Log。计算机,19745-770,(2009年)·Zbl 1181.68274号
[22] Liu,H.;Lutz,C.;Milicic,M.;Wolter,F.《表达描述逻辑中实例级更新的基础》,人工制品。第2170页,第2175页,2011年·Zbl 1252.68277
[23] Wang,Z.;Wang,K.;Topor,R.W.,《描述逻辑中的通用知识库修订》,(第十二届知识表示与推理原理国际会议论文集》(KR 2010),(2010),AAAI出版社
[24] Wang,Z.;Wang,K.;Topor,R.W.,基于可选语义特征的DL-Lite本体修订,ACM-Trans。计算机。日志,16,31:1-31:37,(2015年)·Zbl 1367.68297
[25] Konev,B.;Walther,D.;Wolter,F.,《大规模描述逻辑术语中的遗忘和统一插值》,《第21届国际人工智能联合会议论文集》(IJCAI 2009),(2009年),830-835
[26] Wang,Z.;Wang,K.;Topor,R.W.;Pan,J.Z.,《在DL-Lite中遗忘知识库》,Ann。数学。人工制品。国际期刊,58117-151,(2010年)·Zbl 1205.68410
[27] Lutz,C.;Wolter,F.,《表达描述逻辑中统一插值和遗忘的基础》,《第22届国际人工智能联合会议论文集》(IJCAI 2011),(2011),IJCAI/AAAI),989-995
[28] Wang,K.;Wang,Z.;Topor,R.W.;Pan,J.Z.;Antoniou,G.,《表达性描述逻辑中从本体论中消除概念和角色》,计算机。国际,30205-232,(2014年)·Zbl 1328.68222
[29] Koopmann,P.;Schmidt,R.A.,《基于ABoxes的ALC本体论的遗忘和统一插值》,(DL-14,vol.1193,(2014)),245-257
[30] Nikitina,N.;Rudolph,S.,(非)描述逻辑中一般术语的统一插入式的(非)简洁性。国际,215120-140,(2014年)·Zbl 1308.68110号
[31] Koopmann,P.;Schmidt,R.A.,《基于ABoxes的ALC本体论的统一插值和遗忘》,《第29届全国人工智能会议论文集》(AAAI 2015),(2015),AAAI出版社,175-181
[32] Arenas,M.;Botoeva,E.;Calvanese,D.;Ryzhikov,V.《交换OWL 2 QL知识库》,《第23届国际人工智能联合会议论文集》(IJCAI 2013),(2013年),AAAI出版社,703-710
[33] Arenas,M.;Botoeva,E.;Calvanese,D.;Ryzhikov,V.《知识库交换:猫头鹰2 QL案例》,人工制品。国际,238,11-62,(2016年)·Zbl 1385.68044
[34] Botoeva,E.;Kontchakov,R.;Ryzhikov,V.;Wolter,F.;Zakharyaschev,M.,《描述逻辑知识库的查询不可分离性的游戏》,人工智能。国际期刊,234,78-119,(2016年)·Zbl 1351.68263
[35] Shvaiko,P.;Euzenat,J.,《本体匹配:技术现状和未来挑战》,IEEE Trans。知道。数据工程,25158-176,(2013年)
[36] Schaerf,A.,《基于概念的知识表示系统中的查询回答:算法、复杂性和语义问题》(1994年),信息与系统研究部,罗马大学“La Sapienza”,博士论文
[37] Botoeva,E.;Kontchakov,R.;Ryzhikov,V.;Wolter,F.;Zakharyaschev,M.,《描述逻辑知识库的查询不可分离性》,《第十四届知识表示与推理原则国际会议论文集》(KR 2014),(2014年),238-247
[38] Lutz,C.;Wolter,F.,《判定描述逻辑中的不可分性和保守扩张》;EL,J.Symb。计算机,45194-228,(2010年)·Zbl 1187.68572号
[39] Kontchakov,R.;Pulina,L.;Sattler,U.;Schneider,T.;Seimer,P.;Wolter,F.;Zakharyaschev,M.《使用QBF解算器从DL-Lite本体论中提取最小模块》,(第21届国际人工智能联合会议论文集,2009年),(2009年),836-840
[40] Bienvenu,M.;Rosati,R.,《基于本体的数据访问中映射的基于查询的比较》,(第15届知识表示和推理原则国际会议论文集(KR 2016),(2016)),197-206
[第四十一条] Botoeva,E.;Konev,B.;Lutz,C.;Ryzhikov,V.;Wolter,F.;Zakharyaschev,M.,《描述逻辑本体论的不可分离性和保守扩展:调查》,(第12期推理网国际暑期学校教程讲座(RW 2016),(2016)),27-89·Zbl 1358.68282
[42] Ghilardi,S.;Lutz,C.;Wolter,F.“我是否破坏了我的本体论?”?描述逻辑中保守扩张的一个例子,(Doherty,P.;Mylopoulos,J.;Welty,C.,《第十届知识表示和推理原则国际会议论文集》(KR 2006),(2006)),187-197
[43] Jung,J.C.;Lutz,C.;Martel,M.;Schneider,T.;Wolter,F.,《保护和两个可变片段中的保守扩展》,《第39届国际学术期刊论文集》。《自动机,语言与程序设计》(ICALP),(2017年),108:1-108:14
[44] Botoeva,E.;Lutz,C.;Ryzhikov,V.;Wolter,F.;Zakharyaschev,M.,《ALC本体论的基于查询的蕴涵和不可分离性》,《第25届国际人工智能联合会议论文集》(IJCAI 2016),(2016年),1001-1007
[45] (Baader,F.;Calvanese,D.;McGuinness,D.;Nardi,D.;Patel Schneider,P.F.,《描述逻辑手册:理论、实现和应用》(2003年),剑桥大学出版社)·Zbl 1058.68107
[46] Baader,F.;Brandt,S.;Lutz,C.,《推动EL信封》,《第19届国际人工智能联合会议论文集》(IJCAI 2005),(2005年),364-369
[47] Hustadt,U.;Motik,B.;Sattler,U.,《描述逻辑中由析取数据的简化推理》,J.Autom。原因,39351-384,(2007年)·Zbl 1132.68735
[48] Kazakov,Y.,Horn-SHIQ本体论的结果驱动推理(第21届国际人工智能联合会议论文集(IJCAI 2009),(2009)),2040-2045
[49] Glimm,B.;Lutz,C.;Horrocks,I.;Sattler,U.,《在\(\mathcal{SHIQ}\)描述逻辑中回答连接查询,J.Artif。因特尔。第31、150-197页(2008年)·Zbl 1183.68244
[50] Calvanese,D.;De Giacomo,G.;Lembo,D.;Lenzerini,M.;Rosati,R.,《描述逻辑中查询回答的数据复杂性》,《第十届知识表示与推理原则国际会议论文集》(KR 2006),(2006年),260-270
[51] Calvanese,D.;Eiter,T.;Ortiz,M.,《在表达描述逻辑中回答规则路径查询:自动机理论方法》,《第22届全国人工智能会议论文集》(2007年),第391-396页
[52] Chandra,A.K.;Merlin,P.M.,关系数据库中连接查询的优化实现,(第九届ACM计算理论研讨会论文集(STOC'77),(1977)),77-90
[53] Lutz,C.,《表达描述逻辑中连接查询回答的复杂性》,(Armando,A.;Baumgartner,P.;Dowek,G.,《第四届自动推理国际联席会议论文集》(IJCAR 2008)。第四届自动推理国际联席会议论文集(IJCAR 2008),LNAI,第5195卷,(2008),Springer),179-193·Zbl 1165.68503
[54] 张,C.C.;Keisler,H.J.,模型理论,逻辑研究和数学基础,第73卷,(1990),爱思唯尔·Zbl 0697.03022
[55] Grau,B.C.;Horrocks,I.;Krötzsch,M.;Kupke,C.;Magka,D.;Motik,B.;Wang,Z.,《存在规则的非循环性概念及其在本体论中查询回答的应用》,J.Artif。因特尔。第47741-808号决议(2013年)·兹布1270.68295
[56] van Emde Boas,P.,《瓷砖的便利性》,(Sorbi,A.,复杂性、逻辑和递归理论。复杂性,逻辑与递归理论,纯数学与应用数学讲义,第187卷,(1997),马塞尔·德克尔公司,331-363·Zbl 0874.03050
[57] Lutz,C.;Wolter,F.,《描述逻辑中查询回答的非统一数据复杂性》,《第十三届知识表示与推理原理国际会议论文集》(KR 2012),(2012),297-307
[58] 《无限物体上的自动机与丘奇问题》,(1972),美国数学学会:美国数学学会波士顿·Zbl 0315.02037
[59] 瓦迪,M.Y.,用双向自动机推理过去,(第25届国际学术会议论文集)。论自动机、语言与程序设计(ICALP)。第25届国际学术会议论文集。关于自动机,语言和程序设计(ICALP),计算机科学讲义,第1443卷,(1998),斯普林格,628-641·Zbl 0909.03019
[60] Chandra,A.K.;Kozen,D.;Stockmeyer,L.J.,交替,J.ACM,28114-133,(1981)·Zbl 0473.68043
[61] Bienvenu,M.;Lutz,C.;Wolter,F.,《重新考虑描述逻辑中的查询包容》,《第十三届知识表示与推理原则国际会议论文集》(KR 2012),(2012年),221-231
[62] Bienvenu,M.;ten Cate,B.;Lutz,C.;Wolter,F.《基于本体的数据访问:通过析取数据日志CSP和MMSNP,ACM Trans.进行的研究》。数据库系统,39,33:1-33:44,(2014年)
[63] Bienvenu,M.;Hansen,P.;Lutz,C.;Wolter,F.,《Horn描述逻辑中连接查询的一阶可重写性和包含》,(第25届国际人工智能联合会议论文集(IJCAI 2016),(2016年))
[64] Baader,F.;Bienvenu,M.;Lutz,C.;Wolter,F.《基于本体的数据访问中的查询和谓词空性》,J.Artif。因特尔。第56页,第1-59页,(2016年)·Zbl 1357.68226
〔65〕 Muller,D.E.;Schupp,P.E.,《无限树上的交替自动机》,理论。计算机。科学,54267-276,(1987)·浙宝0636.68108
[66] Thomas,W.,语言,自动机和逻辑,(形式语言理论手册,III,(1997)),389-455
[67] Bienvenu,M.;Lutz,C.;Wolter,F.,《Horn描述逻辑中原子查询的一阶重写性》,《第23届国际人工智能联合会议论文集》(IJCAI 2013),(2013年),754-760
[68] Jung,J.C.;Lutz,C.;Martel,M.;Schneider,T.,《具有逆角色的horn描述逻辑中的保守扩展的查询》,(第26届国际人工智能联合会议论文集(IJCAI 2017),(2017)),1116-1122
〔69〕 Tarski,A.;Mostowski,A.;Robinson,R.,《不可判定的理论》(1953年),北荷兰·Zbl 0053.00401
[70] Rautenberg,W.,《数理逻辑简明导论》(2010),施普林格·Zbl 1185.03002
[71] Goguen,J.A.;Burstall,R.M.,《机构:规范和编程的抽象模型理论》,J.ACM,3995-146,(1992)·Zbl 0799.68134
[72] Maibaum,T.,保守的延伸,理论之间的解释等等!,(第七届软件开发理论与实践国际会议论文集)。第七届软件开发理论与实践国际会议论文集(TAPSOFT),LNCS,(1997),Springer Verlag
[73] Diaconescu,J.G.R.;Stefaneas,P.《模块化的逻辑支持》,(Huet,G.;Plotkin,G.,逻辑环境(1993年))
[74] Woltran,S.,《扩展数据日志程序之间的等价性-简要调查》,(datalog重新加载,(2010)),106-119
[75] Lifschitz,V.;Pearce,D.;Valverde,A.,强等效逻辑程序,ACM Trans。计算机。日志,2526-541,(2001)·Zbl 1365.68149
[76] Eiter,T.;Fink,M.;Woltran,S.,《答案集编程中等价物的语义特征和复杂性》,ACM Trans。计算机。日志,8,17,(2007)·Zbl 1367.68031
[77] Harrison,A.;Lifschitz,V.;Pearce,D.;Valverde,A.,《无限平衡逻辑与强等价逻辑程序》,人工制品。国际期刊,24622-33,(2017年)·68ZB14120升
[78] Konev,B.;Ludwig,M.;Wolter,F.《CEX2.5逻辑差分计算》,《第六届自动推理国际联席会议论文集》(IJCAR 2012)。第六届自动推理国际联席会议论文集(IJCAR 2012),计算机科学讲义(2012),斯普林格:斯普林格柏林/海德堡,德国),371-377·Zbl 1358.68258号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。