×

兹马思-数学第一资源

描述逻辑本体论的不可分离性和保守扩展:综述。(英语) Zbl 1358.68282
Pan,Jeff Z.(ed.)等人,《推理网络》。知识图构造与查询回答的逻辑基础。2016年第12届国际暑期学校,英国阿伯丁,2016年9月5日至9日。辅导讲座。查姆:斯普林格(ISBN 978-3-319-49492-0/pbk;978-3-319-49493-7/电子书)。计算机科学课堂讲稿9885,27-89(2017)。
摘要:对于许多本体工程和维护任务来说,一个本体是否可以安全地被另一个(可能更简单)本体取代的问题是基本的。例如,它支持本体版本控制、本体模块化、遗忘和知识交换。“安全替换”的含义取决于本体的预期应用。例如,如果它用于查询数据,那么任何相关本体中介查询的答案在任何相关数据集上都应该是相同的;相反,如果本体用于概念推理,那么概念表达式之间所包含的包含应该是一致的。这就产生了不同的本体论概念不可分性如查询不可分离性和概念不可分离性,它们推广了相应的保守扩张概念。在这一章中,我们在描述逻辑本体论的背景下考察了各种不可分概念的结果,讨论了它们的应用、有用的模型理论表征、确定两个本体是否不可分的算法(有时,如果它们不可分,有时计算它们之间的差异),以及这个问题的计算复杂性。
整个系列请参见[Zbl 1358.68016].

理学硕士:
68T30型 知识表示
68T27型 人工智能中的逻辑
68-02年 与计算机科学有关的研究展览会(专著、调查文章)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Baader,F.,Calvanese,D.,McGuinness,D.,Nardi,D.,Patel Schneider,P.F.等(编辑):描述逻辑手册理论实现和应用。剑桥大学出版社,剑桥(2003)·Zbl 1058.68107
[2] Baader,F.,Brandt,S.,Lutz,C.:推动EL信封。In:第19届国际人工智能联席会议论文集(IJCAI 2005),第364-369页(2005)
[3] Calvanese,D.,De Giacomo,G.,Lembo,D.,Lenzerini,M.,Rosati,R.:描述逻辑中的可处理推理和有效查询回答:DL-Lite家族。J、 自动驾驶。原因。39(3),385–429(2007年)·72725升113685·doi:10.1007/s10817-007-9078-x
[4] Artale,A.,Calvanese,D.,Kontchakov,R.,Zakharyaschev,M.:DL-Lite家族和关系。J、 人工制品。因特尔。第(JAIR)36号决议,第1-69号决议(2009年)·Zbl 1192.68657
[5] Hustadt,U.,Motik,B.,Sattler,U.:描述逻辑中通过析取数据日志进行推理。J、 自动驾驶。原因。39(3),351–384(2007年)·Zbl 1132.68735·doi:10.1007/s10817-007-9080-3
[六] Kazakov,Y.:Horn-SHIQ本体论的结果驱动推理。In:《第21届人工智能国际联席会议论文集》(IJCAI 2009),第2040-2045页(2009年)
[七] Glimm,B.,Lutz,C.,Horrocks,I.,Sattler,U.:在 \[\mathcal{SHIQ} \] 描述逻辑中回答连接查询。J、 人工制品。因特尔。第(JAIR)31、150–197号决议(2008年)·Zbl 1183.68244
[8] Calvanese,D.,De Giacomo,G.,Lembo,D.,Lenzerini,M.,Rosati,R.:描述逻辑中查询回答的数据复杂性。In:第十届知识表示与推理原则国际会议论文集(KR 2006),第260-270页(2006)·兹布1270.68294
[9] Calvanese,D.,Eiter,T.,Ortiz,M.:在表达描述逻辑中回答规则路径查询:自动机理论方法。第22届全国人工智能大会论文集(AAAI 2007),第391-396页(2007)
[10] Konev,B.,Lutz,C.,Walther,D.,Wolter,F.:模化的形式性质。摘自:Stuckenschmidt等人[21],第25-66页。http://dx.doi.org/10.1007/978-3-642-01907-4_3·Zbl 1242.68315·doi:10.1007/978-3-642-01907-4_3
[11] Konev,B.,Ludwig,M.,Walther,D.,Wolter,F.:轻量级描述逻辑EL的逻辑差异。J、 人工制品。因特尔。决议(JAIR)44633–708(2012年)·Zbl 1253.68303
[12] Conradi,R.,Westfechtel,B.:软件配置管理的版本模型。ACM计算机。苏尔夫。(CSUR)30(2),232–282(1998年)·数字标识:10.1145/280277.280280
[13] Noy,N.F.,Musen,M.A.:PromptDiff:一种比较本体版本的定点算法。第18届全国人工智能会议论文集(AAAI 2002),第744-750页。AAI出版社,门罗公园(2002)
[14] Klein,M.,Fensel,D.,Kiryakov,A.,Ognyanov,D.:web上的本体版本控制和变更检测。在:Gómez-Pérez,A.,Benjamins,V.R.(编辑)EKAW 2002年。LNCS(LNAI),第2473卷,第197-212页。斯普林格,海德堡(2002年)。doi:10.1007/3-540-45810-7_20·Zbl 1019.68711号·doi:10.1007/3-540-45810-7_20
[15] Redmond,T.,Smith,M.,Drummond,N.,Tudorache,T.:管理变更:一个本体版本控制系统。在:第五届猫头鹰国际研讨会论文集:经验和方向(猫头鹰,2008年)。CEUR研讨会论文集,第432卷,CEUR-WS.org(2008)
[16] Jimenez Ruiz,E.,Cuenca Grau,B.,Horrocks,I.,Llavori,R.B.:支持并行本体开发:框架、算法和工具。数据知识。工程70(1),146–164(2011年)·中银05841646·doi:10.1016/j.datak.2010.10.001
[17] Konev,B.,Walther,D.,Wolter,F.:描述逻辑术语的逻辑差异问题。在:Armando,A.,Baumgartner,P.,Dowek,G.(编辑)IJCAR 2008。LNCS(LNAI),第5195卷,第259-274页。斯普林格,海德堡(2008)。doi:10.1007/978-3-540-71070-7_21·Zbl 1165.68502·doi:10.1007/978-3-540-71070-7_21
[18] Kontchakov,R.,Wolter,F.,Zakharyaschev,M.:你能分辨出DL-Lite本体论之间的区别吗。In:第11届知识表示与推理原则国际会议论文集(KR 2008),第285-295页(2008)
[19] 吉尔迪,S.,卢茨,C.,沃尔特,F.:我有没有破坏我的本体论?描述逻辑中保守扩张的一个例子。在:第10届国际知识表示与推理原则会议论文集(KR 2006),第187-197页。AAI出版社(2006)
[20] Cuenca Grau,B.,Horrocks,I.,Kazakov,Y.,Sattler,U.:本体论的模块化重用:理论与实践。J、 人工制品。因特尔。决议(JAIR)31273–318(2008)·Zbl 1183.68479
[21] Stuckenschmidt,H.,Parent,C.,Spaccapietra,S.(编辑):模块化本体论:知识模块化的概念、理论和技术。LNCS,第5445卷。斯普林格,海德堡(2009)·Zbl 1163.68005
[22] Kutz,O.,Mossakowski,T.,Lücke,D.:Carnap,Goguen和超本体论:本体设计中的逻辑多元论和异构结构。日志。宇宙。4(2),255–333(2010年)。doi:10.1007/s11787-010-0020-3·Zbl 1255.68153·doi:10.1007/s11787-010-0020-3
[23] Kontchakov,R.,Wolter,F.,Zakharyaschev,M.:基于逻辑的本体比较和模块提取,以及在DL-Lite上的应用。人工制品。因特尔。1741093–1141(2010年)·Zbl 1238.68154·doi:10.1016/j.artint.2010.06.003
[24] Shvaiko,P.,Euzenat,J.:本体匹配:技术现状和未来挑战。IEEE传输。知道。数据工程25(1),158–176(2013年)。doi:10.1109/TKDE.2011.253·doi:10.1109/TKDE.2011.253
[25] Solimando,A.,Jiménez Ruiz,E.,Guerrini,G.:检测和纠正本体到本体映射中的保守原则违反。摘自:Mika,P.等人(编辑),ISWC 2014。LNCS,第8797卷,第1-16页。斯普林格,海德堡(2014)。doi:10.1007/978-3-319-11915-1_1·Zbl 06503420·doi:10.1007/978-3-319-11915-1_1
[26] Kharlamov,E.等人:挪威国家石油公司基于本体的勘探数据访问。在:Arenas,M.等人(编辑)ISWC 2015。LNCS,第9367卷,第93-112页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-25010-6·doi:10.1007/978-3-319-25010-6_6
[27] Jiménez Ruiz,E.,Payne,T.R.,Solimando,A.,Tamma,V.A.M.:通过协商限制本体对齐中的逻辑冲突。In:第15届知识表示与推理原则国际会议论文集(KR 2016),第217-226页(2016)
[28] Fagin,R.,Kolaitis,P.G.,Miller,R.J.,Popa,L.:数据交换:语义和查询回答。理论。计算机。科学。336(1),89–124(2005年)。doi:10.1016/j.tcs.2004.10.033·Zbl 1080.68019·doi:10.1016/j.tcs.2004.10.033
[29] Arenas,M.,Botoeva,E.,Calvanese,D.,Ryzhikov,V.:知识库交换:owl2ql的案例。因特尔。238,11–62(2016年)。ISSN 0004-3702·Zbl 1385.68044·doi:10.1016/j.artint.2016.05.002
[30] Cuenca Grau,B.,Motik,B.:基于隐藏内容的本体推理:通过查询导入的方法。J、 人工制品。因特尔。决议(JAIR)45197-255(2012)·Zbl 1280.68251
[31] 赖特,R.,林,F:算了!In:AAAI秋季相关性研讨会论文集,第154-159页(1994年)
[32] 关于一阶直觉命题逻辑中二阶量化的解释。J、 符号。逻辑57,33-52(1992)·07ZB03.07ZB09·doi:10.2307/2275175
[33] D'Agostino,G.,Hollenberg,M.:均匀插值、自动机和模态 \[ \mu \] -微积分。在:模态逻辑的进展,第一卷(1998)·Zbl 0906.03018
[34] Visser,A.:均匀插值和分层互模拟。在:Hájek,P.(编辑)Gödel'96(Brno,1996年)。逻辑讲义,第6卷。斯普林格,柏林(1996)·Zbl 0854.03026
[35] Ghilardi,S.,Zawadowski,M.:情态系统S4中命题量词的不失效。螺柱。逻辑学55259-271(1995)·Zbl 0831.03008·doi:10.1007/BF01061237
[36] 法语:模态逻辑的双模拟量词。西澳大利亚大学博士论文(2006)·Zbl 1186.03054
[37] 苏K,萨塔,A.,吕,G.,张,Y.:知识推理中的变量遗忘。J、 人工制品。因特尔。(JAIR)35677-716号决议(2009年)。doi:10.1613/jair.2750·Zbl 1192.68677·doi:10.1613/jair.2750
[38] Konev,B.,Walther,D.,Wolter,F.:大规模描述逻辑术语中的遗忘和一致插值。In:《第21届人工智能国际联席会议论文集》(IJCAI 2009),第830-835页(2009年)。http://ijcai.org/papers09/Papers/IJCAI09-142.pdf
[39] Wang,Z.,Wang,K.,Topor,R.W.,Pan,J.Z.:在DL-Lite中忘记知识库。安。数学。人工制品。因特尔。第一百一十七卷,第一百一十七卷第二卷。doi:10.1007/s10472-010-9187-9·Zbl 1205.68410·doi:10.1007/s10472-010-9187-9
[40] Lutz,C.,Wolter,F.:表达描述逻辑中统一插值和遗忘的基础。第22届国际人工智能联席会议论文集(IJCAI 2011),第989-995页。IJCAI/AAAI(2011年)
[41] Wang,K.,Wang,Z.,Topor,R.W.,Pan,J.Z.,Antoniou,G.:表达性描述逻辑中从本体论中消除概念和角色。计算机。因特尔。30(2),205–232(2014年)。doi:10.1111/j.1467-8640.2012.00442.x·Zbl 1328.68222·doi:10.1111/j.1467-8640.2012.00442.x
[42] Koopmann,P.,Schmidt,R.A.:计数与遗忘:本体论的统一插值。在:Demri,S.,Kapur,D.,Weidenbach,C.(编辑)IJCAR 2014。LNCS(LNAI),第8562卷,第434-448页。斯普林格,海德堡(2014)。doi:10.1007/978-3-319-08587-6_34·68482.423升·doi:10.1007/978-3-319-08587-6_34
[43] Nikitina,N.,Rudolph,S.:《描述逻辑》中一般术语统一插入式的(非)简洁性。人工制品。因特尔。215120–140(2014年)。doi:10.1016/j.artint.2014.06.005·Zbl 1308.68110号·doi:10.1016/j.artint.2014.06.005
[44] Koopmann,P.,Schmidt,R.A.:具有ABoxes的本体论的一致插值和遗忘。In:《第29届全国人工智能大会论文集》(AAAI 2015),第175-181页(2015年)。http://www.aaai.org/ocs/index.php/aaai/AAAI15/paper/view/9981
[45] Goranko,V.,Otto,M.:模态逻辑的模型理论。摘自:Blackburn,P.,van Benthem,J.,Wolter,F.(编辑),《模态逻辑手册》,第249-330页。阿姆斯特丹爱思唯尔(2006)
[46] Lutz,C.,Piro,R.,Wolter,F.:描述逻辑TBoxes:模型理论表征和可重写性。第22届国际人工智能联席会议论文集(IJCAI 2011),第983-988页。AAI出版社,Menlo Park(2011年)
[47] Lutz,C.,Walther,D.,Wolter,F.:表达描述逻辑中的保守扩展。第20届国际人工智能联席会议论文集,第453-458页。AAI出版社,Menlo Park(2007年)
[48] 自动奇偶图:一种交替的奇偶图。牛。比利时数学。Soc。8(2),359–391(2001年)·Zbl 0994.68079
[49] Konev,B.,Lutz,C.,Wolter,F.,Zakharyaschev,M.:描述逻辑TBoxes的保守重写性。In:第25届人工智能国际联席会议论文集(IJCAI 2016)(2016)
[50] Horrocks,I.,Sattler,U.:一种具有传递和逆向角色以及角色层次的描述逻辑。J、 日志。计算机。第410卷第389卷。log3.com/·Zbl 0940.03039·doi:10.1093/logcom/9.3.385
[51] Ghilardi,S.,Lutz,C.,Wolter,F.,Zakharyaschev,M.:模态逻辑中的保守扩张。摘自:《美国医学院学报》,第6卷,第187-207页(2006年)·Zbl 1148.03014
[52] Lutz,C.,Wolter,F.:在描述逻辑中决定不可分性和保守扩张。J、 符号。计算机。第45卷第2页,第194-228页(2010年)·Zbl 1187.68572号·doi:10.1016/j.jsc.2008.10.007
[53] Lutz,C.,Seylan,I.,Wolter,F.:描述逻辑中统一插值和逼近的自动机理论方法。In:第13届知识表示与推理原则国际会议论文集(KR 2012),第286-296页。AAI出版社(2012)
[54] Nikitina,N.,Rudolph,S.:ExpExpExplosion:一般EL术语中的统一插值。In:《第20届欧洲人工智能会议论文集》(ECAI 2012),第618-623页(2012年)。内政部:10.3233/978-1-61499-098-7-618·兹布1327.68258·内政部:10.3233/978-1-61499-098-7-618
[55] Clarke,E.,Schlingloff,H.:模型检查。自动推理手册,第二卷,第24章,第1635-1790页。爱思唯尔(2001)·1066806.75升·doi:10.1016/B978-044450813-3/50026-6
[56] Ludwig,M.,Walther,D.:使用超图的 \[ \mathcal{ELH}^r \] 术语的逻辑差异。在:第21届欧洲人工智能会议论文集(ECAI 2014)。人工智能与应用前沿,第263卷,第555-560页。IOS出版社(2014)·Zbl 1366.68309
[57] Feng,S.,Ludwig,M.,Walther,D.:EL-TBoxes逻辑差异的基础。In:全球人工智能会议(GCAI 2015)。计算史诗系列,第36卷,第93-112页。EasyChair(2015年)。ISSN 2040-557X
[58] Byers,P.,Pitt,D.:保守扩展:一个警示。EATCS公牛。41196–201(1990年)·Zbl 0744.68095
[59] 关于保守扩展的另一个警告:一个带有计算风格的简单例子。EATCS公牛。46188-193年(1992年)·Zbl 0751.03013
[60] 关于保守扩张的一些评论。苏格拉底式的对话。EATCS公牛。43189-198(1991年)·Zbl 0744.68103
[61] Diaconescu,J.G.R.,Stefaneas,P.:模块化的逻辑支持。在:Huet,G.,Plotkin,G.(编辑),《逻辑环境》(1993)
[62] 麦鲍姆,T.S.E.:保守的延伸,理论之间的解释等等!。在:Bidoit,M.,Dauchet,M.(编辑)CAAP 1997。LNCS,第1214卷,第40-66页。斯普林格,海德堡(1997年)。doi:10.1007/BFb0030588·数字标识码:10.1007/bfb030588
[63] Konev,B.,Lutz,C.,Walther,D.,Wolter,F.:描述逻辑本体论的模型论不可分离性和模块化。人工制品。因特尔。20366-103(2013年)·Zbl 1329.68248·2013年7月10日
[64] 伯杰:多米诺骨牌问题的不可判定性。AMS回忆录,第66期。美国数学学会,普罗维登斯(1966)
〔65〕 Robinson,R.:平面瓷砖的不可判定性和非周期性。发明数学。12177–209(1971年)·Zbl 0197.46801·doi:10.1007/bf0148780
[66] Börger,E.,Grädel,E.,Gurevich,Y.:经典决策问题。数理逻辑观点。斯普林格,海德堡(1997)·邮政编码:0865.03004·doi:10.1007/978-3-642-59207-2
[67] Feferman,S.,Vaught,R.L.:代数系统的一阶性质。基础数学。47,57–103(1959年)·Zbl 0088.24803
[68] 《杜兰特·达布罗的逻辑性》一书。在:Eiter,T.,Strass,H.,Truszcynèski,M.,Woltran,S.(编辑),知识表示,逻辑程序设计和抽象论证的进展。LNCS(LNAI),第9060卷,第112-124页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-14726-0_8·Zbl 1432.68428·doi:10.1007/978-3-319-14726-0_8
〔69〕 Maher,M.J.:逻辑程序的等价性。在:演绎数据库和逻辑编程的基础,第627-658页。摩根考夫曼(1988)·doi:10.1016/B978-0-934613-40-8.50020-8
[70] Lifschitz,V.,Pearce,D.,Valverde,A.:强等价逻辑程序。ACM传输。计算机。逻辑2(4),526–541(2001)。数字标识码:10.1145/502166.502170·Zbl 1365.68149·数字标识码:10.1145/502166.502170
[71] Eiter,T.,Fink,M.:稳定模型语义下逻辑程序的一致等价。在:Palamidessi,C.(编辑)ICLP 2003。LNCS,第2916卷,第224-238页。斯普林格,海德堡(2003年)。doi:10.1007/978-3-540-24599-5_16·Zbl 1204.68052·doi:10.1007/978-3-540-24599-5_16
[72] Cuenca Grau,B.,Horrocks,I.,Kazakov,Y.,Sattler,U.:从本体论中提取模块:基于逻辑的方法。在:Stuckenschmidt,H.,Parent,C.,Spaccapietra,S.(编辑)模块化本体论。LNCS,第5445卷,第159-186页。斯普林格,海德堡(2009年)。doi:10.1007/978-3-642-01907-4_8·Zbl 1242.68310号·doi:10.1007/978-3-642-01907-4_8
[73] Grau,B.C.,Horrocks,I.,Kazakov,Y.,Sattler,U.:适量:从本体论中提取模块。第16届国际万维网会议记录(WWW 2007),第717-726页。ACM(2007年)·doi:10.1145/1242572.1242669
[74] Grau,B.C.,Horrocks,I.,Kazakov,Y.,Sattler,U.:本体论模块化的逻辑框架。In:第20届国际人工智能联席会议论文集(IJCAI 2007),第298-303页(2007)
[75] Sattler,U.,Schneider,T.,Zakharyaschev,M.:我应该提取哪种模块?第22届描述逻辑国际研讨会论文集(2009年)。CEUR研讨会论文集,第477卷。CEUR-WS.org(2009年)
[76] Romero,A.A.,Grau,B.C.,Horrocks,I.,Jiménez Ruiz,E.:MORe:用于本体分类的模块化OWL推理机。在:ORE.CEUR研讨会论文集,第1015卷,第61-67页。CEUR-WS.org(2013年)
[77] Romero,A.A.,Grau,B.C.,Horrocks,I.:本体分类推理机的模块化组合。In:第25届描述逻辑国际研讨会论文集(2012年版)。CEUR研讨会论文集,第846卷。CEUR-WS.org(2012年)
[78] Romero,A.A.,Kaminski,M.,Grau,B.C.,Horrocks,I.:通过数据日志推理进行表达本体语言中的模块提取。J、 人工制品。因特尔。第(JAIR)号决议55499-564(2016年)·Zbl 1352.68235
[79] Bienvenu,M.,ten Cate,B.,Lutz,C.,Wolter,F.:基于本体的数据访问——通过析取数据日志、CSP和MMSNP进行的研究。ACM传输。数据库系统。39(4),33:1–33:44(2014年)·内政部:10.1145/2661643
[80] Poggi,A.,Lembo,D.,Calvanese,D.,De Giacomo,G.,Lenzerini,M.,Rosati,R.:将数据与本体论联系起来。J、 数据语义。10133–173(2008年)·Zbl 1132.68061
[81] Botoeva,E.,Kontchakov,R.,Ryzhikov,V.,Wolter,F.,Zakharyaschev,M.:描述逻辑知识库的查询不可分离性博弈。人工制品。因特尔。234,78–119(2016年)。doi:10.1016/j.artint.2016.01.010。http://www.sciencedirect.com/science/article/pii/s00437021630017,ISSN 0004-3702·Zbl 1351.68263·doi:10.1016/j.artint.2016.01.010
[82] Lutz,C.,Wolter,F.:描述逻辑中查询回答的非统一数据复杂性。In:KR.AAAI出版社(2012年)
[83] Chang,C.C.,Keisler,H.J.:模型理论。《逻辑与数学基础研究》,第73卷。阿姆斯特丹爱思唯尔(1990)·Zbl 0697.03022
[84] Botoeva,E.,Lutz,C.,Ryzhikov,V.,Wolter,F.,Zakharyaschev,M.:ALC本体论的基于查询的蕴涵和不可分离性(完整版)。CoRR技术报告abs/1604.04164,arXiv.org电子打印存档(2016年)。http://arxiv.org/abs/1604.04164
[85] Botoeva,E.,Lutz,C.,Ryzhikov,V.,Wolter,F.,Zakharyaschev,M.:ALC本体论的基于查询的蕴涵和不可分离性。In:第25届国际人工智能联席会议论文集(IJCAI 2016),第1001-1007页(2016)
[86] 谢尔夫:基于概念的复杂度问题的回答算法。信息技术学院,1994年)
[87] Abiteboul,S.,Hull,R.,Vianu,V.:数据库基础。波士顿(卫斯理,1995)·Zbl 0848.68031
[88] 马萨拉:无限游戏。在:Gädel,E.,Thomas,W.,Wilke,T.(编辑),自动机逻辑和无限对策。LNCS,第2500卷,第23-38页。斯普林格,海德堡(2002年)。doi:10.1007/3-540-36387-4_2·Zbl 1021.91502·doi:10.1007/3-540-36387-4_2
[89] Chatterjee,K.,Henzinger,M.:交替Büchi游戏的O( \[ n^2 \] )时间算法。第23届ACM-SIAM离散算法研讨会论文集,1386-1399页。(2012年)·doi:10.1137/1.9781611973099.109
[90] Baader,F.,Bienvenu,M.,Lutz,C.,Wolter,F.:基于本体的数据访问中的查询和谓词空性。J、 人工制品。因特尔。第(JAIR)56号决议,第1-59号决议(2016年)·Zbl 1357.68226
[91] Konev,B.,Ludwig,M.,Wolter,F.:用CEX2.5进行逻辑差分计算。摘自:Gramlich,B.,Miller,D.,Sattler,U.(编辑),IJCAR 2012。LNCS(LNAI),第7364卷,第371-377页。斯普林格,海德堡(2012)。doi:10.1007/978-3-642-31365-3_29·Zbl 1358.68258号·doi:10.1007/978-3-642-31365-3_29
[92] Bienvenu,M.,Hansen,P.,Lutz,C.,Wolter,F.:Horn描述逻辑中连接查询的一阶可重写性和包含性。In:第25届国际人工智能联席会议论文集(IJCAI 2016),第965-971页(2016)
[93] Bienvenu,M.,Rosati,R.:基于本体的数据访问中映射的基于查询的比较。In:第15届知识表示与推理原则国际会议论文集(KR 2016),第197-206页(2016年)。http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12902
[94] Arenas,M.,Gottlob,G.,Pieris,A.:用于查询语义web的表达语言。在:第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集,PODS 2014,美国犹他州雪鸟,2014年6月22-27日,第14-26页(2014年)。doi:10.1145/2594538.2594555·doi:10.1145/2594538.2594555
[95] Fagin,R.,Kolaitis,P.G.,Nash,A.,Popa,L.:走向模式映射优化理论。第27届ACM SIGACT SIGMOD SIGART研讨会论文集。《数据库系统原理》(PODS 2008),第33-42页(2008年)。数字标识码:10.1145/1376916.1376922·数字标识码:10.1145/1376916.1376922
[96] Pichler,R.,Sallinger,E.,Savenkov,V.:图式映射等价的放松概念重温。理论计算。系统。52(3),483–541(2013年)。doi:10.1007/s00224-012-9397-0·兹布1270.68105·doi:10.1007/s00224-012-9397-0
[97] Konev,B.,Kontchakov,R.,Ludwig,M.,Schneider,T.,Wolter,F.,Zakharyaschev,M.:owl2ql-TBoxes的连接查询不可分离性。第25届全国人工智能大会论文集(AAAI 2011),第221-226页。AAI出版社(2011)
[98] Vescovo,C.,Klinov,P.,Parsia,B.,Sattler,U.,Schneider,T.,Tsarkov,D.:基于逻辑模块的实证研究:便宜就是快乐。In:Alani,H.等人(编辑),ISWC 2013年。LNCS,第8218卷,第84-100页。斯普林格,海德堡(2013年)。doi:10.1007/978-3-642-41335-3_6·Zbl 06392566·doi:10.1007/978-3-642-41335-3_6
[99] Gatens,W.,Konev,B.,Wolter,F.:描述逻辑本体论消耗模块的上下近似。摘自:《第21届欧洲人工智能会议论文集》(ECAI 2014),第263卷,第345-350页。IOS出版社(2014)·Zbl 1366.68304
[100] Nortje,R.,Britz,A.,Meyer,T.:SRIQ中可达模的模理论性质。In:第26届描述逻辑国际研讨会论文集(2013年第1期)。CEUR研讨会论文集,第1014卷,第868-884页。CEUR-WS.org(2013年)·Zbl 1407.68475
[101] Nortje,R.,Britz,K.,Meyer,T.:描述逻辑 \[ \mathcal{SRIQ} \] 的可达性模块。In:McMillan,K.,Middeldorp,A.,Voronkov,A.(编辑)LPAR 2013。LNCS,第8312卷,第636-652页。斯普林格,海德堡(2013年)。doi:10.1007/978-3-642-45221-5_42·Zbl 1407.68475·doi:10.1007/978-3-642-45221-5_42
[102] Gonçalves,R.S.,Parsia,B.,Sattler,U.:表达描述逻辑中基于概念的语义差异。In:Cudré-Mauroux,P.等人(编辑),ISWC 2012。LNCS,第7649卷,第99-115页。斯普林格,海德堡(2012)。doi:10.1007/978-3-642-35176-1_7·Zbl 06267516·doi:10.1007/978-3-642-35176-1_7
[103] Wang,K.,Wang,Z.,Topor,R.,Pan,J.Z.,Antoniou,G.:本体论中的概念和角色遗忘。在:Bernstein,A.,Karger,D.R.,Heath,T.,Feigenbaum,L.,Maynard,D.,Motta,E.,Thirunarayan,K.(编辑)ISWC 2009。LNCS,第5823卷,第666-681页。斯普林格,海德堡(2009年)。doi:10.1007/978-3-642-04930-9_42·Zbl 05628282·doi:10.1007/978-3-642-04930-9_42
[104] 周,Y.,张,Y.:有限的遗忘。In:Burgard,W.,Roth,D.(编辑),《第25届全国人工智能会议论文集》(AAAI 2011)。AAI出版社(2011)
[105] Ludwig,M.,Konev,B.:《关于 \[ \mathcal{ALC} \] t盒的实用统一插值和遗忘及其在逻辑差分中的应用。在:第14届知识表示和推理原则国际会议论文集(KR 2014)。AAI出版社(2014)
[106] Gabbay,D.M.,Schmidt,R.A.,Szałas,A.:二阶量词消除:基础、计算方面和应用。逻辑研究:数理逻辑与基础,第12卷。大学出版物(2008年)。国际标准书号978-1-904987-56-7·Zbl 1165.03011
[107号] Zhao,Y.,Schmidt,R.A.:基于ackermann方法的本体论中的概念遗忘。在:Arenas,M.等人(编辑)ISWC 2015。LNCS,第9366卷,第587-602页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-25007-6_34·doi:10.1007/978-3-319-25007-6_34
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。