×
梅亨·宾文努;马格达莱娜·奥尔蒂斯

通过数据可压缩描述逻辑进行本体中介的查询应答。 （英语） Zbl 1358.68086号

Faber，Wolfgang（编辑）等人，《推理网络》。Web逻辑规则。2015年7月31日至8月4日，德国柏林，第11所国际暑期学校。辅导讲座。查姆：施普林格（ISBN 978-3-319-21767-3/pbk；978-3-3169-21768-0/ebook）。计算机科学讲义9203，218-307（2015）。
摘要：近年来，人们对本体中介的查询应答越来越感兴趣，在查询数据时利用本体提供的语义知识。添加本体有几个优点（例如简化查询公式、集成不同来源的数据、为查询提供更完整的答案），但它也使查询应答任务更加困难。在本章中，我们简要介绍了使用描述逻辑（DL）本体的本体中介查询应答。我们的重点将放在查询应答按数据大小多项式缩放的DL上，因为这些DL最适合需要大量数据的应用程序。我们将描述在存在此类本体的情况下评估不同自然类型的查询时出现的挑战，并基于两个关键概念，即查询重写和饱和，提出算法解决方案。我们总结了本章的最新成果和积极领域正在进行的研究。
关于整个系列，请参见[Zbl 1358.68011号].

引用于16文件

MSC公司：

第68页，共15页 数据库理论
68T27型 人工智能中的逻辑
68立方英尺 知识表示
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

软件：

数据日志;XPath（XPath）;nSPARQL公司;Ontop（顶部）;OptiqueVQS公司;SPARQL公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Bienvenu}和\textit{M.Ortiz}，莱克特。注释计算。科学。9203218--307（2015；Zbl 1358.68086）
全文： 内政部

参考文献：

[1] Abiteboul，S。；船体，R。；维亚努，V.，《数据库基础》（1995），阅读：Addison-Wesley Publ。公司，阅读·Zbl 0848.68031号
[2] Acciarri，A.、Calvanee，D.、De Giacomo，G.、Lembo，D.、Lenzerini，M.、Palmieri，M.和Rosati，R.：QuOnto：查询本体。摘自：《第20届全国人工智能会议论文集》（AAAI 2005），第1670-1671页（2005）
[3] Ahmetaj，S.、Fischl，W.、Pichler，R.、Šimkus，M.、Skritek，S.：致力于协调SPARQL和某些答案。摘自：《第24届万维网国际会议论文集》，WWW 2015，意大利佛罗伦萨，2015年5月18日至22日，第23-33页（2015）
[4] 角度，R。；古铁雷斯，C。；阿联酋谢斯；斯塔布，S。；迪恩，M。；保卢奇，M。；梅纳德，D。；菲宁，T。；Thirunarayan，K.，《SPARQL的表达能力》，《语义网络-ISWC 2008》，114-129（2008），海德堡：斯普林格，海德伯格·doi:10.1007/978-3-540-88564-1_8
[5] Antonioli，N.、Castanó，F.、Coletta，S.、Grossi，S.，Lembo，D.、Lenzerini，M.、Poggi，A.、Virardi，E.、Castracane，P.：意大利公债基于Ontology的数据管理。在：第八届信息系统正式本体论国际会议论文集（FOIS 2014）。《人工智能与应用前沿》，第267卷，第372-385页。IOS出版社（2014）
[6] 阿雷纳斯，M。；巴塞洛，P。；利布金，L。；Murlak，F.，《数据交换基础》（2014），剑桥：剑桥大学出版社，剑桥·Zbl 1216.68003号
[7] Arenas，M.，Gottlob，G.，Pieris，A.：查询语义网的表达语言。摘自：第33届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2014），第14-26页。ACM，纽约（2014）
[8] Arenas，M.，Grau，B.C.，Kharlamov，E.，Marciuška，S.，Zheleznyakov，D.：本体增强RDF数据的分面搜索。摘自：第23届ACM信息和知识管理国际会议（CIKM）会议记录，第939-948页（2014）
[9] Arora，S。；Barak，B.，《计算复杂性——现代方法》（2009），剑桥：剑桥大学出版社，剑桥·Zbl 1193.68112号 ·doi:10.1017/CBO9780511804090
[10] Artale，A。；Calvanee，D。；康查科夫，R。；Zakharyaschev，M.，《DL-Lite家族和关系》，J.Artif。智力。研究（JAIR），36，1-69（2009）·Zbl 1192.68657号
[11] Artale，A。；Franconi，E.，《行动和计划推理的时间描述逻辑》，J.Artif。英特尔。第9号决议，第463-506页（1998年）·Zbl 0911.68190号
[12] Artale，A。；Franconi，E。；费舍尔，M。；加巴伊，D。；Vila，L.，《时间描述逻辑》，《人工智能中的时间和时间推理手册》（2001），剑桥：麻省理工学院出版社，剑桥
[13] Artale，A。；Franconi，E。；费舍尔，M。；加巴伊，D。；Vila，L.，《时间描述逻辑》，《人工智能中的时间推理手册》，375-388（2005），阿姆斯特丹：Elsevier，Amsterdam·Zbl 1099.68106号
[14] Artale，A.，Kontchakov，R.，Kovtunova，A.，Ryzhikov，V.，Wolter，F.，Zakharyaschev，M.：本体中介的时间查询的一阶可重写性。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录·Zbl 07639820号
[15] Artale，A。；康查科夫，R。；里日科夫，V。；Zakharyaschev，M.，《带描述逻辑的时间概念数据建模食谱》，ACM Trans。计算。逻辑，15，3，25:1-25:50（2014）·Zbl 1354.68245号 ·doi:10.1145/2629565
[16] Artale，A.，Kontchakov，R.，Wolter，F.，Zakharyaschev，M.：基于本体的数据访问的时间描述逻辑。In:第23届国际人工智能联合会议（IJCAI 2013）（2013）会议记录
[17] Baader，F.，Bienvenu，M.，Lutz，C.，Wolter，F.：描述逻辑中的查询和谓词空性。摘自：《第十二届知识表示与推理原则国际会议论文集》（KR 2010）（2010）·Zbl 1357.68226号
[18] Baader，F.，Borgwardt，S.，Lippmann，M.：描述逻辑中的时态查询包含（\cal SHQ）。科学。服务。代理万维网、Web Seman。（2014年，出版）。doi:doi:10.1016/j.websem.2014.11.008
[19] Baader，F.、Brandt，S.、Lutz，C.：推动（EL）信封。附：第19届国际人工智能联合会议记录（IJCAI 2005）（2005）
[20] Baader，F.、Brandt，S.、Lutz，C.：进一步推进（EL）信封。摘自：第五届OWL国际研讨会论文集：经验和方向（OWLED 2008）（2008）
[21] 巴塞洛，P。；利布金，L。；林，AW；Wood，PT，图形结构数据路径查询的表达语言，ACM Trans。数据库系统。，37, 4, 31 (2012) ·数字对象标识代码：10.1145/2389241.2389250
[22] Barceló，P.，Pérez，J.，Reutter，J.L.：嵌套正则表达式的相对表达性。摘自：AMW 2012年会议记录。CEUR研讨会论文集，第866卷，第180-195页（2012年）
[23] BarcelóBaeza，P.：查询图形数据库。摘自：第32届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2013），第175-188页（2013）
[24] LE Bertossi，《数据库修复和一致查询回答》（2011年），圣拉斐尔：摩根和克莱普尔出版社，圣拉菲尔
[25] Bienvenu，M.：关于简单本体中一致查询应答的复杂性。附：第26届AAAI人工智能会议记录（AAAI 2012）（2012）
[26] Bienvenu，M.，Bourgaux，C.，Goasdoué，F.：在首选修复语义下查询不一致描述逻辑知识库。附：第28届AAAI人工智能会议记录（AAAI 2014）（2014）·兹比尔1489.68267
[27] Bienvenu，M.、Calvanee，D.、Ortiz，M.和Šimkus，M.：描述逻辑中的嵌套常规路径查询。摘自：《第十四届知识表示与推理原则国际会议论文集》（KR 2014）（2014）
[28] Bienvenu，M。；10 Cate，B。；卢茨，C。；Wolter，F.，《基于本体论的数据访问：一项通过析取数据日志、CSP和MMSNP进行的研究》，ACM Trans。数据库系统。，39，4，33:1-33:44（2014）·Zbl 1474.68082号 ·doi:10.1145/2661643
[29] Bienvenu，M.、Kikot，S.、Podolskii，V.V.：OWL 2 QL中的树状查询：简洁性和复杂性结果。摘自：第30届ACM/IEEE计算机科学逻辑研讨会论文集（LICS 2015）。IEEE（2015）·Zbl 1401.68058号
[30] Bienvenu，M.，Lutz，C.，Wolter，F.：喇叭描述逻辑中原子查询的一阶可重写性。摘自：第23届国际人工智能联合会议记录（IJCAI 2013）。IJCAI/AAAI（2013）
[31] Bienvenu，M.、Ortiz，M.和Šimkus，M.：回答轻量级DL知识库上的表达路径查询。In:第25届描述逻辑国际研讨会论文集（DL 2012）（2012）
[32] Bienvenu，M.、Ortiz，M.和Šimkus，M.：轻量级描述逻辑中的连接正则路径查询。In:第23届国际人工智能联合会议（IJCAI 2013）（2013）会议记录·Zbl 1336.68243号
[33] Bienvenu，M.、Ortiz，M.和Šimkus，M.：基于前沿数据日志的导航查询：初步结果。摘自：第九届阿尔贝托·门德尔松数据管理基础国际研讨会会议记录（AMW 2015）（2015）
[34] Bienvenu，M.、Ortiz，M.和Šimkus，M.，Xiao，G.：轻量级描述逻辑的可追踪查询。摘自：第23届国际人工智能联合会议记录（IJCAI 2013）。AAAI出版社（2013）
[35] Bienvenu，M.，Rosati，R.：基于本体的健壮数据访问的一致查询应答的可追踪近似。In:第23届国际人工智能联合会议（IJCAI 2013）（2013）会议记录
[36] Bienvenu，M.，Rosati，R.：基于查询的OBDA规范比较。摘自：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）
[37] Borgida，A。；Calvanee，D。；罗德里格斯·穆罗，M。；密尔斯曼，R。；Tari，Z.，《DL-Lite描述逻辑家族中的解释》，《走向有意义的互联网系统：OTM 2008，1440-1457（2008）》，海德堡：斯普林格，海德伯格·doi:10.1007/978-3-540-88873-4_35
[38] Borgida，A.，Franconi，E.，Horrocks，I.：解释ALC吸纳。In:ECAI会议记录（2000）
[39] Borgwardt，S.，Lippmann，M.，Thost，V.：在知识库上暂时化可重写查询语言。科学。服务。代理万维网，网络塞曼。（2014年，出版）。doi:doi:10.1016/j.websem.2014.11.007
[40] Borgwardt，S.，Thost，V.：描述逻辑中的时间查询应答（\cal EL）。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录·Zbl 1398.68121号
[41] Botoeva，E.，Kontchakov，R.，Ryzhikov，V.，Wolter，F.，Zakharyaschev，M.：查询描述逻辑知识库的不可分割性。摘自：《第十四届知识表示与推理原则国际会议论文集》（KR 2014）（2014）
[42] Bourgaux，C.，Bienvenu，M.，Goasdoué，F.：在描述逻辑知识库（扩展抽象）上解释不相容语义下的查询答案。摘自：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）·Zbl 1489.68267号
[43] Bourhis，P.，Krötzsch，M.，Rudolph，S.：如何最好地嵌套常规路径查询。参见：《第27届描述逻辑国际研讨会论文集》（DL 2014），第1193卷，第404-415页。CEUR-WS.org（2014）
[44] Bourhis，P.、Krötzsch，M.、Rudolph，S.：高表达性数据日志片段的查询包含。CoRR abs/1406.7801（2014）。http://arxiv.org/abs/1406.7801
[45] Bursztyn，D.，Goasdoué，F.，Manolescu，I.：通过FOL重新制定DL-Lite中的高效查询应答。摘自：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）
[46] Bursztyn，D.，Goasdoué，F.，Manolescu，I.：优化RDF中基于重新格式化的查询应答。摘自：《第18届扩展数据库技术国际会议论文集》，第265-276页（2015）
[47] Cadoli，M.，Donini，F.M.，Schaerf，M.：混合系统中的封闭世界推理。摘自：第五届智能系统方法学国际研讨会论文集（ISMIS 1990），第474-481页。北霍兰德出版社。公司（1990）
[48] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Poggi，A。；罗德里格斯·穆罗，M。；罗萨蒂，R。；Tessaris，S。；Franconi，E。；艾特，T。；古铁雷斯，C。；Handschuh，S。；罗塞特，M-C；Schmidt，RA，《本体论和数据库：DL-Lite方法》，推理网络，255-356（2009），海德堡：施普林格·Zbl 1254.68106号
[49] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Poggi，A。；罗德里格斯·穆罗，M。；罗萨蒂，R。；鲁齐，M。；Savo，DF，基于本体的数据访问MASTRO系统，Seman。网络，2，1，43-53（2011）
[50] Calvanee，D.，De Giacomo，G.，Lembo，D.，Lenzerini，M.，Rosati，R.：DL-Lite：本体论的易处理描述逻辑。摘自：《第20届全国人工智能会议论文集》（AAAI 2005），第602-607页（2005）·Zbl 1132.68725号
[51] Calvanese，D.，De Giacomo，G.，Lembo，D.，Lenzerini，M.，Rosati，R.:EQL Lite：描述逻辑中有效的一阶查询处理。摘自：《第20届国际人工智能联合会议论文集》（IJCAI 2007），第274-279页（2007）
[52] Calvanee，D。；德贾科莫，G。；伦博，D。；Lenzerini，M。；Rosati，R.，描述逻辑中的可追踪推理和高效查询回答：DL-Lite家族，J.Autom。原因。，39, 3, 385-429 (2007) ·Zbl 1132.68725号 ·doi:10.1007/s10817-007-9078-x
[53] Calvanee，D.，De Giacomo，G.，Lenzerini，M.：关于约束条件下查询包含的可判定性。摘自：第17届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 1998），第149-158页（1998）
[54] Calvanee，D。；德贾科莫，G。；Lenzerini，M.，描述逻辑约束下的连接查询包含和应答，ACM Trans。计算。逻辑，9，3，22.1-22.31（2008）·Zbl 1367.68084号 ·doi:10.1145/1352582.1352590
[55] Calvanee，D.，De Giacomo，G.，Lenzerini，M.，Vardi，M.Y.：包含带反转的连接正则路径查询。摘自：《第七届知识表示与推理原则国际会议论文集》（KR 2000），第176-185页（2000）
[56] Calvanee，D.，Eiter，T.，Ortiz，M.：在表达描述逻辑中回答常规路径查询：自动机理论方法。摘自：第22届美国人工智能学会人工智能会议记录（AAAI 2007），第391-396页（2007）
[57] Calvanee，D.，Eiter，T.，Ortiz，M.：名词表达描述逻辑中的常规路径查询。摘自：《第21届国际人工智能联合会议记录》（IJCAI 2009），第714-720页（2009）
[58] Calvanee，D。；艾特，T。；Ortiz，M.，通过交替树自动机回答表达描述逻辑中的常规路径查询，Inf.Comput。，237, 12-55 (2014) ·Zbl 1360.68801号 ·doi:10.1016/j.ic.2014.04.002
[59] Calvanee，D.，Giacomo，G.D.，Lembo，D.，Lenzerini，M.，Rosati，R.：描述逻辑中查询应答的数据复杂性。参见：《第十届知识表示和推理原则国际会议记录》（KR 2006），第260-270页。AAAI出版社（2006）·Zbl 1270.68294号
[60] Calvanee，D.，Kharlamov，E.，Nutt，W.，Thorne，C.：本体的聚合查询。摘自：第二届语义网本体论和信息系统国际研讨会论文集，ONISW 2008，美国加利福尼亚州纳帕谷，2008年10月30日，第97-104页（2008）
[61] Calvanee，D.，Ortiz，M.，Šimkus，M.：描述逻辑约束下常规路径查询的包含。附：第22届国际人工智能联合会议（IJCAI 2011）会议记录（2011）
[62] Calvanee，D。；奥尔蒂斯，M。；西蒙库斯，M。；Stefanoni，G.，《关于DL-Lite中否定查询答案解释的推理》，J.Artif。智力。Res.（JAIR），48635-669（2013）·Zbl 1361.68222号
[63] Carral，D。；Feier，C。；Cuenca Grau，B。；希茨勒，P。；霍洛克斯，I。；Demri，S。；卡普尔，D。；Weidenbach，C.，\（EL\）-实例化本体论，自动推理，464-479（2014），海德堡：施普林格，海德堡·Zbl 1423.68487号
[64] Carral，D。；Feier，C。；格劳，不列颠哥伦比亚省；希茨勒，P。；霍洛克斯，I。；Mika，P。；Tudorace，T。；伯恩斯坦，A。；韦尔蒂，C。；Knoblock，C。；Vrandečić，D。；格罗斯，P。；诺伊，N。；Janowicz，K。；Goble，C.，《推动可驾驭的本体论推理的边界》，《语义网络-ISWC 2014》，148-163（2014），海德堡：斯普林格，海德伯格
[65] Carral，D.，Feier，C.，Romero，A.A.，Grau，B.C.，Hitzler，P.，Horrocks，I.：你的本体论像你想象的那么难吗？将本体重写为更简单的DL。摘自：第27届描述逻辑国际研讨会非正式会议记录，奥地利维也纳，2014年7月17日至20日。CEUR研讨会记录，第1193卷，第128-140页。CEUR-WS.org（2014）
[66] Ceri，S。；Gottlob，G。；Tanca，L.，《逻辑编程和数据库》（1990），柏林（德国）：施普林格，柏林（德语）·doi:10.1007/978-3-642-83952-8
[67] 乔塔拉斯，A。；特里维拉，D。；Stamou，G。；比约纳，N。；Sofronie-Stokkerman，V.，《OWL 2 QL优化查询重写》，自动演绎-CADE-23192-206（2011），海德堡：斯普林格·Zbl 1341.68223号 ·doi:10.1007/978-3-642-22438-6_16
[68] Chortaras，A.，Trivela，D.，Stamou，G.B.：OWL 2 QL面向目标的查询重写。收录：第24届描述逻辑国际研讨会（DL）论文集（2011）·Zbl 1341.68223号
[69] Clark，J.，DeRose，S.：XML路径语言（XPath）1.0版。W3C推荐，万维网联盟（1999）
[70] Colucci，S.、Noia，T.D.、Sciascio，E.D.、Donini，F.M.、Ragone，A.：二阶描述逻辑：语义、动机和微积分。收录于：第23届描述逻辑国际研讨会论文集（DL 2010）。CEUR研讨会记录，第573卷。CEUR-WS.org（2010）·Zbl 1211.68421号
[71] De Giacomo，G.，Lenzerini，M.：促进描述逻辑和命题动态逻辑之间的对应。摘自：《第十二届全国人工智能会议记录》（AAAI 1994），第205-212页（1994）
[72] De Giacomo，G.，Lenzerini，M.，Rosati，R.：领域元建模的高阶描述逻辑。附：第25届AAAI人工智能会议记录（2011年）
[73] 杜，J。；齐，G。；Shen，YD，基于权重的不一致知识库一致查询应答，Knowl。信息系统。，34, 2, 335-371 (2013) ·doi:10.1007/s10115-012-0478-9
[74] Du，J.，Wang，K.，Shen，Y.：描述逻辑本体论上ABox溯源的一种易处理方法。附：第28届AAAI人工智能会议记录（AAAI 2014）（2014）
[75] Du，J.，Wang，K.，Shen，Y.：不一致描述逻辑本体论上的ABox溯源研究。附：第29届AAAI人工智能会议记录（AAAI 2015）（2015）
[76] 艾宾豪斯，HD；Flum，J.，有限模型理论（1999），海德堡：斯普林格，海德伯格·Zbl 0932.03032号
[77] Ehrenfeucht，A.，Zeiger，P.：正则表达式的复杂性度量。收录：第六届ACM计算机理论年会论文集（STOC 1974）（1974）·Zbl 0357.68043号
[78] 艾特，T。；Gottlob，G。；奥尔蒂斯，M。；西蒙库斯，M。；Hölldobler，S。；卢茨，C。；Wansing，H.，《描述逻辑角中的问答》，《人工智能中的逻辑》，166-179（2008），海德堡：斯普林格出版社·Zbl 1178.68558号 ·doi:10.1007/978-3-540-87803-2_15
[79] 艾特，T。；卢茨，C。；奥尔蒂斯，M。；西蒙库斯，M。；小野，H。；金泽，M。；de Queiroz，R.，《描述逻辑中的问答：纽结方法》，《逻辑、语言、信息和计算》，26-36（2009），海德堡：斯普林格出版社·Zbl 1246.68207号 ·doi:10.1007/978-3-642-02261-63
[80] Eiter，T.，Lutz，C.，Ortiz，M.，Šimkus，M.：在具有传递角色的描述逻辑中进行查询回答。摘自：《第21届国际人工智能联合会议记录》（IJCAI 2009），第759-764页（2009）·Zbl 1246.68207号
[81] Eiter，T.、Ortiz，M.、Simkus，M.，Tran，T.，Xiao，G.：Horn-SHIQ plus规则的查询重写。摘自：第26届AAAI人工智能会议记录（AAAI 2012）。AAAI出版社（2012）
[82] 艾特，T。；奥尔蒂斯，M。；Šimkus，M.，描述逻辑SH中使用节点的连接查询回答，J.Comput。系统。科学。，78, 1, 47-85 (2012) ·Zbl 1238.68153号 ·doi:10.1016/j.jcss.2011.02.012
[83] Feier，C.，Carral，D.，Stefanoni，G.，Grau，B.C.，Horrocks，I.：超越OWL 2配置文件的查询答案组合方法。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录
[84] Florescu，D.，Levy，A.，Suciu，D.：正则表达式的连接查询的查询包含。摘自：第17届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 1998），第139-148页（1998）
[85] Franconi，E.，Guagliardo，P.，Trevisan，M.，Tessaris，S.：Quelo：本体论驱动的查询接口。摘自：第24届描述逻辑（DL）国际研讨会论文集（2011年）
[86] Franconi，E。；伊瓦涅斯·加西亚，YA；Seylan，I.，用DBoxes回答查询很难，Elector。注释Theor。计算。科学。，278, 71-84 (2011) ·Zbl 1347.68321号 ·doi:10.1016/j.entcs.2011.10.007
[87] 加巴伊，D。；A.库鲁斯。；Wolter，F。；Zakharyaschev，M.，《多维模态逻辑：理论与应用》（2003），阿姆斯特丹：爱思唯尔科学出版社，阿姆斯特朗·Zbl 1051.03001号
[88] 格利姆，B。；Poleres，A。；达阿马托，C。；阿雷纳斯，M。；Handschuh，S。；Kroner，P。；奥斯索夫斯基，S。；Patel-Schneider，P.，《将SPARQL与RDFS和OWL结合使用》，推理网络，137-201（2011），海德堡：施普林格
[89] 格利姆，B。；霍洛克斯，I。；卢茨，C。；Sattler，U.，描述逻辑的连接查询应答（SHIQ），J.Artif。智力。决议，31，151-198（2008）·Zbl 1183.68244号
[90] Glimm，B.，Horrocks，I.，Sattler，U.：SHOQ中的联合查询。参见：《第十一届知识表示与推理原则国际会议记录》（KR 2008），第252-262页。AAAI出版社/MIT出版社（2008）
[91] Glimm，B.，Kazakov，Y.，Lutz，C.：QIO状态：更新。摘自：第22届描述逻辑国际研讨会论文集（DL 2009）。CEUR研讨会记录，第745卷（2011年）
[92] 格利姆，B。；鲁道夫，S。；Völker，J。；Patel Schneider，PF公司；潘，Y。；希茨勒，P。；Mika，P。；张，L。；潘，JZ；霍洛克斯，I。；Glimm，B.，《OWL 2中的集成元建模和诊断》，《语义网络-ISWC 2010》，257-272（2010），海德堡：斯普林格，海德伯格·doi:10.1007/978-3-642-17746-0_17
[93] Gottlob，G。；基科特，S。；康查科夫，R。；波多尔斯基，V。；Schwentick，T。；Zakharyaschev，M.，基于本体的数据访问中查询重写的代价，Artif。智力。，213, 42-59 (2014) ·兹比尔1390.68246 ·doi:10.1016/j.artint.2014.04.004
[94] Gottlob，G.，Manna，M.，Pieris，A.：存在规则的多项式组合重写。摘自：《第十四届知识表示与推理原则国际会议论文集》（KR 2014）（2014）
[95] Gottlob，G.、Orsi，G.和Pieris，A.：本体查询：重写和优化。摘自：IEEE 2011年第27届国际数据工程会议（ICDE），2011年4月，第2-13页（2011）·Zbl 1474.68103号
[96] Gottlob，G。；奥尔西，G。；Pieris，A。；西蒙库斯，M。；艾特，T。；Krennwallner，T.，《语义网络数据库的数据日志及其扩展》，《推理网络》，54-77（2012），海德堡：施普林格出版社·Zbl 1251.68088号
[97] Gottlob，G.，Rudolph，S.，Šimkus，M.：保护存在规则语言的表达性。摘自：第33届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2014），第27-38页。ACM，纽约（2014）
[98] Gottlob，G.，Schwentick，T.：将本体查询重写为小型非递归数据日志程序。收录人：Rosati，R.，Rudolph，S.，Zakharyaschev，M.（编辑）《描述逻辑》。CEUR研讨会记录，第745卷。CEUR-WS.org（2011）
[99] Grahne，G.，Thomo，A.：针对约束条件下的常规路径查询，使用视图进行查询包容和重写。摘自：第22届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2003），第111-122页（2003）
[100] 格劳，不列颠哥伦比亚省；霍洛克斯，I。；哈萨克夫，Y。；Sattler，U.，《本体的模块化重用：理论与实践》，J.Artif。智力。研究（JAIR），31，273-318（2008）·Zbl 1183.68479号
[101] Gutiérrez-Basulto，V。；伊巴涅兹·加西亚，Y。；康查科夫，R。；Kostylev，电动汽车；Faber，W。；Lembo，D.，《DL-Lite上带否定的连接查询：更仔细的观察》，《Web推理和规则系统》，109-122（2013），海德堡：斯普林格·doi:10.1007/978-3-642-39666-39
[102] Gutiérrez-Basulto，V.，Jung，J.C.，Schneider，T.：轻量级描述逻辑和分支时间：麻烦的婚姻。摘自：《第十四届知识表示与推理原则国际会议论文集》（KR 2014）（2014）
[103] Gutierrez-Basulto，V.，Jung，J.C.，Schneider，T.：具有刚性角色和限制TBoxes的轻量级时间描述逻辑。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录
[104] Gutiérrez-Basulto，V。；克拉曼，S。；Krötzsch，M。；Straccia，U.，《在描述逻辑中表示和查询时间数据的统一方法》，Web推理和规则系统，90-105（2012），海德堡：施普林格，海德堡·doi:10.1007/978-3-642-33203-68
[105] JY Halpern；《时间间隔的命题模态逻辑》，J.ACM，38，935-962（1991）·Zbl 0799.68175号 ·doi:10.1145/115234.115351
[106] Harris，S.，Seaborne，A.：SPARQL 1.1查询语言。W3C建议（2013年）。可在http://www.w3.org/TR/sparql11-query网站/
[107] 霍里奇，M。；Bail，S.公司。；巴西娅，B。；美国萨特勒。；阿罗约，L。；韦尔蒂，C。；Alani，H。；泰勒，J。；伯恩斯坦，A。；Kagal，L。；诺伊，N。；Blomqvist，E.，《OWL证明的认知复杂性》，《语义网络-ISWC 2011》，241-256（2011），海德堡：斯普林格，海德伯格·doi:10.1007/978-3-642-25073-6-16
[108] 霍里奇，M。；巴西娅，B。；美国萨特勒。；Cudré-Mauroux，P。；赫夫林，J。；Sirin，E。；Tudorace，T。；尤泽纳特，J。；Hauswirth，M。；帕拉拉，JX；亨德勒，J。；施赖伯，G。；伯恩斯坦，A。；Blomqvist，E.，《从生物门户本体论中提取合理性》，《语义网络-ISWC 2012》，287-299（2012），海德堡：斯普林格，海德伯格·doi:10.1007/978-3642-35173-0_19
[109] Horrocks，I.，Kutz，O.，Sattler，U.：不可抗拒的（SRIQ）。摘自：第一届OWL国际研讨会论文集：经验和方向（OWLED 2005）（2005）
[110] Horrocks，I.，Tessaris，S.：描述逻辑ABoxes的一种连接查询语言。摘自：《第17届全国人工智能会议论文集》（AAAI 2000），第399-404页（2000）
[111] Hustadt，U.，Motik，B.，Sattler，U.：非常有表现力的描述逻辑中推理的数据复杂性。摘自：《第19届国际人工智能联合会议记录》（IJCAI 2005），第466-471页（2005）
[112] 伊米林斯基，T。；Lipski，W.Jr，关系数据库中的不完整信息，J.ACM，31，4，761-791（1984）·Zbl 0632.68094号 ·数字对象标识代码：10.1145/1634.1886
[113] Immerman，N.，可在多项式时间内计算的关系查询，Inf.Control，68，86-104（1986）·Zbl 0612.68086号 ·doi:10.1016/S0019-9958（86）80029-8
[114] Kalyanpur，A。；巴西娅，B。；Sirin，E。；JA Hendler，《调试OWL本体中不可满足的类》，J.Web Seman。，3, 4, 268-293 (2005) ·doi:10.1016/j.websem.2005.09.005
[115] Kaminski，M.，Grau，B.C.：计算描述逻辑本体的Horn重写。摘自：《第24届国际人工智能联合会议论文集》（IJCAI 2015）（2015）。http://arxiv.org/abs/1504.05150
[116] 卡明斯基，M。；尼诺夫，Y。；Cuenca Grau，B。；康查科夫，R。；Mugnier，M-L，《分离数据日志程序和描述逻辑本体的计算数据日志重写》，《Web推理和规则系统》，76-91（2014），海德堡：斯普林格出版社
[117] Kazakov，Y.：霍恩SHIQ本体论的结果驱动推理。摘自：《第21届国际人工智能联合会议论文集》（IJCAI 2009），第2040-2045页（2009）
[118] Kikot，S.、Kontchakov，R.、Zakharyaschev，M.：关于OBDA与OWL 2 QL的可牵引性。In：第24届描述逻辑国际研讨会论文集（DL 2011）。CEUR研讨会记录，第745卷。CEUR-WS.org（2011）
[119] Kikot，S.，Kontchakov，R.，Zakharyaschev，M.：用OWL 2 QL.进行联合查询回答。在：第13届知识表示与推理原则国际会议论文集（KR 2012），第275-285页。AAAI出版社（2012）
[120] 南科他州Kikot。；康查科夫，R。；波多尔斯基，V。；Zakharyaschev，M。；Czumaj，A。；梅尔霍恩，K。；Pitts，A。；Wattenhofer，R.，查询重写的指数下界和分离，自动机，语言和编程，263-274（2012），海德堡：斯普林格·Zbl 1367.68089号 ·doi:10.1007/978-3642-31585-5_26
[121] Kikot，S.，Kontchakov，R.，Podolskii，V.V.，Zakharyaschev，M.：关于OWL2QL本体上带有浅追逐的查询重写的简洁性。摘自：第29届ACM/IEEE年度计算机科学逻辑研讨会论文集（LICS 2014）。ACM出版社（2014）·Zbl 1401.68316号
[122] Klenke，T.：在Beschreibungslogik的Ungleichheit中，安夫拉根·恩切伊德·巴凯特·冯·孔朱克提夫·安夫拉根（Entscheidbarkeit von Konjunktiv Anfragen mit Ungleicheit）（简称EL）。不来梅大学硕士论文（2010年）
[123] Konev，B.，Kontchakov，R.，Ludwig，M.，Schneider，T.，Wolter，F.，Zakharyaschev，M.：OWL 2 QL TBoxes的连接查询不可分割性。附：第29届AAAI人工智能会议记录（AAAI 2015）（2011）
[124] 科尼格，M。；Leclère，M。；穆格尼尔，M-L；托马佐，M。；Krötzsch，M。；斯特拉契亚，美国，《存在规则的一种完善的反向链算法》，《Web推理和规则系统》，122-138（2012），海德堡：斯普林格出版社·doi:10.1007/978-3-642-33203-6-10
[125] König，M.、Leclère，M.和Mugnier，M.L.：使用编译的预序查询重写存在规则。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录
[126] Kontchakov，R.、Lutz，C.、Toman，D.、Wolter，F.、Zakharyaschev，M.：基于本体论的数据访问的组合方法。摘自：《第22届国际人工智能联合会议记录》（IJCAI 2011），第2656-2661页。IJCAI/AAAI（2011）
[127] Kontchakov，R.、Pulina，L.、Sattler，U.、Schneider，T.、Selmer，P.、Wolter，F.、Zakharyaschev，M.：使用QBF解算器从DL-Lite本体中提取最小模块。摘自：《第21届国际人工智能联合会议记录》（IJCAI 2009），第836-841页（2009）
[128] 康查科夫，R。；罗德里格斯-穆罗，M。；Zakharyaschev，M。；鲁道夫，S。；Gottlob，G。；霍洛克斯，I。；van Harmelen，F.，《利用数据库进行基于本体的数据访问：短训》，《推理网络》，194-229（2013），海德堡：斯普林格
[129] 康查科夫，R。；Wolter，F。；Zakharyaschev，M.，基于逻辑的本体比较和模块提取，以及DL-Lite的应用，Artif。智力。，174, 15, 1093-1141 (2010) ·兹比尔1238.68154 ·doi:10.1016/j.artint.2010.06.003
[130] 电动汽车Kostylev；Cuenca Grau，B。；Mika，P。；Tudorace，T。；伯恩斯坦，A。；韦尔蒂，C。；Knoblock，C。；Vrandečić，D。；格罗斯，P。；诺伊，北。；Janowicz，K。；Goble，C.，《关于隐含机制下具有可选匹配的SPARQL查询的语义》，《语义网-ISWC 2014，374-389（2014）》，海德堡：斯普林格
[131] Kostylev，E.V.，Reutter，J.L.：回答DL-Lite家族本体的合计查询。附：第27届AAAI人工智能会议（AAAI 2013）（2013）会议记录
[132] Kostylev，E.V.，Reutter，J.L.，Vrgoc，D.：DL本体的XPath。附：第29届AAAI人工智能会议记录（AAAI 2015）（2015）
[133] 克里斯纳迪，A。；卢茨，C。；北卡罗来纳州德肖维茨。；Voronkov，A.，描述逻辑家族中的数据复杂性，《程序设计、人工智能和推理逻辑》，333-347（2007），海德堡：斯普林格·Zbl 1137.68593号 ·doi:10.1007/978-3-540-75560-9_25
[134] Krötzsch，M.，Rudolph，S.：使用角色组合对\（\cal EL \）进行连接查询。摘自：第20届描述逻辑国际研讨会论文集（DL 2007）（2007）
[135] Krötzsch，M。；鲁道夫，S。；希茨勒，P。；Aberer，K。；Choi，K-S；诺伊，N。；Allemang，D。；李，K-I；尼克松，LJB；Golbeck，J。；Mika，P。；梅纳德，D。；沟口，R。；施赖伯，G。；Cudré-Mauroux，P.，《OWL 1.1易处理片段的连接查询》，《语义网》，310-323（2007），海德堡：斯普林格·doi:10.1007/978-3-540-76298-0_23
[136] Krötzsch先生。；鲁道夫，S。；希茨勒，P.，《号角描述逻辑的复杂性》，ACM Trans。计算。逻辑，14，1，2:1-2:36（2013）·Zbl 1353.68268号 ·doi:10.1145/2422085.2422087
[137] Krotzsch先生。；Simancik，F。；Horrocks，I.，描述逻辑，IEEE Intell。系统。，29, 1, 12-19 (2014) ·doi:10.1109/MIS.2013.123
[138] 伦博，D。；Lenzerini，M。；罗萨蒂，R。；Ruzzi，M。；萨沃，DF；希茨勒，P。；Lukasiewicz，T.，描述逻辑的不一致容忍语义，Web推理和规则系统，103-117（2010），海德堡：施普林格·doi:10.1007/978-3-642-15918-39
[139] 伦博，D。；Lenzerini，M。；罗萨蒂，R。；Ruzzi，M。；萨沃，DF；鲁道夫，S。；Gutierrez，C.，《不一致DL-Lite本体的查询重写》，《Web推理和规则系统》，155-169（2011），海德堡：斯普林格出版社·doi:10.1007/978-3642-23580-1_12
[140] 伦博，D。；莫拉·J。；罗萨蒂，R。；萨沃，DF；托尔斯滕森，E。；康查科夫，R。；Mugnier，M-L，《面向本体论数据访问中的映射分析》，Web推理和规则系统，108-123（2014），海德堡：斯普林格
[141] Lembo，D.，Mora，J.，Rosati，R.，Savo，D.F.，Thorstensen，E.：基于本体的数据访问中的映射分析：算法和复杂性。摘自：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）
[142] Lenzerini，M.：数据整合：理论视角。摘自：第21届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2002），第233-246页（2002）
[143] Lenzerini，M。；Lepore，L。；Poggi，A。；密尔斯曼，R。；帕内托，H。；Dillon，T。；Missikoff，M。；刘，L。；牧师，O。；Cuzzocrea，A。；Sellis，T.，《使元查询适用于Hi（DL-\（Lite_R）\）知识库》，《走向有意义的互联网系统：OTM 2014年会议》，580-596（2014），海德堡：斯普林格，海德伯格
[144] 利维，AY；罗塞特，MC，《在CARIN中结合霍恩规则和描述逻辑》，Artif。智力。，104, 1-2, 165-209 (1998) ·兹伯利0908.68166 ·doi:10.1016/S0004-3702（98）00048-4
[145] Libkin，L.，《有限模型理论的要素》（2004），海德堡：斯普林格出版社·Zbl 1060.03002号 ·doi:10.1007/978-3-662-07003-1
[146] Lutz，C.，Toman，D.，Wolter，F.：使用关系数据库系统的描述逻辑（\cal EL\）中的联合查询回答。摘自：《第21届国际人工智能联合会议记录》（IJCAI 2009），第2070-2075页。AAAI出版社（2009）
[147] 卢茨，C。；Armando，A。；鲍姆加特纳，P。；Dowek，G.，《表达描述逻辑中联合查询应答的复杂性》，《自动推理》，179-193（2008），海德堡：斯普林格出版社·Zbl 1165.68503号 ·doi:10.1007/978-3-540-71070-7_16
[148] Lutz，C.：SHIQ中联合查询应答的两个上限。摘自：第22届描述逻辑国际研讨会论文集（DL 2008）。CEUR研讨会记录，第353卷。CEUR-WS.org（2008）
[149] 卢茨，C。；塞兰，I。；托曼，D。；Wolter，F。；Alani，H。；Kagal，L。；Fokoue，A。；格罗斯，P。；比曼，C。；JX帕雷拉；阿罗约，L。；诺伊，N。；韦尔蒂，C。；Janowicz，K.，《OBDA的组合方法：使用过滤器驯服角色层次结构》，《语义网络-ISWC 2013》，314-330（2013），海德堡：斯普林格·doi:10.1007/978-3-642-41335-3_20
[150] Lutz，C.，Seylan，I.，Wolter，F.：使用封闭谓词进行基于本体的数据访问天生就很难（有时）。摘自：第23届国际人工智能联合会议记录（IJCAI 2013）。IJCAI/AAAI（2013）
[151] Lutz，C.，Seylan，I.，Wolter，F.：使用封闭谓词的本体中介查询。附：第24届国际人工智能联合会议（IJCAI 2015）（2015）会议记录·Zbl 1509.68258号
[152] Lutz，C.、Toman，D.、Wolter，F.：使用关系数据库系统在描述逻辑（\cal EL）中回答连接查询。摘自：《第21届国际人工智能联合会议论文集》（IJCAI 2009），第2070-2075页（2009）
[153] 卢茨，C。；Wolter，F.，《确定描述逻辑中的不可分割性和保守扩展》，J.Symb。计算。，194-228年2月45日（2010年）·Zbl 1187.68572号 ·doi:10.1016/j.jsc.2008.10.07
[154] Lutz，C.，Wolter，F.，Zakharyaschev，M.：时间描述逻辑：一项调查。摘自：《第15届时间表征与推理国际研讨会论文集》（TIME 2008），第3-14页。IEEE计算机学会（2008）
[155] McGuinness，D.L.，Borgida，A.：解释描述逻辑中的包含。附：第十四届国际人工智能联合会议记录（IJCAI 1995）（1995）
[156] Mora，J.，Corcho，澳大利亚：OBDA查询重写中的工程优化。摘自：《第九届语义系统国际会议论文集》，第41-48页（2013年）
[157] 莫蒂克，B。；Gil，Y。；莫塔，E。；本杰明斯，VR；马萨诸塞州缪森，《关于OWL中元建模的属性》，《语义网络-ISWC 2005》，548-562（2005），海德堡：斯普林格，海德伯格·doi:10.1007/11574620_40
[158] Motik，B.：使用分辨率和演绎数据库进行描述逻辑推理。德国卡尔斯鲁厄大学博士论文，2006年1月
[159] Motik，B.，Cuenca Grau，B.，Horrocks，I.，Wu，Z.，Fokoue，A.，Lutz，C.：OWL 2网络本体语言配置文件。W3C建议（2012年）。可在http://www.w3.org/TR/owl2-profiles网站/
[160] 莫蒂克，B。；美国萨特勒。；Studer，R。；南非麦克拉伊思；Plexousakis，D。；van Harmelen，F.，用规则回答OWL-DL的问题，语义网络-ISWC 2004，549-563（2004），海德堡：斯普林格·doi:10.1007/978-3-540-30475-338
[161] 穆格尼尔（M-L）；托马佐，M。；库巴拉基斯，M。；Stamou，G。；斯托伊洛斯，G。；霍洛克斯，I。；科莱蒂斯，P。；劳森，G。；Weikum，G.，《使用存在规则进行本体论查询应答的介绍》，《推理网络》，245-278（2014），海德堡：斯普林格
[162] Ngo，N.，Ortiz，M.，Šimkus，M.：描述逻辑中闭合谓词推理的组合复杂性。摘自：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）
[163] Ortiz，M.：基于本体的查询回答：迄今为止的故事。摘自：第七届阿尔贝托·门德尔松数据管理基础国际研讨会会议记录（AMW 2013）（2013）
[164] 奥尔蒂斯，M。；Calvanee，D。；Eiter，T.，通过Tableaux，J.Autom表达描述逻辑中查询应答的数据复杂性。原因。，41, 1, 61-98 (2008) ·Zbl 1154.68102号 ·doi:10.1007/s10817-008-9102-9
[165] Ortiz，M.，Rudolph，S.，Šimkus，M.：查询回答在带有正则表达式、倒数、名词和计数的DL中是不可判定的。技术报告，INFSYS RR-1843-10-03，Institute für Informationssystem，Technische Universityät Wien，A-1040 Vienna，Austria，2010年4月
[166] Ortiz，M.、Rudolph，S.、Šimkus，M.：在描述逻辑SHOIQ和SROIQ的Horn片段中进行查询回答。摘自：《第22届国际人工智能联合会议记录》（IJCAI 2011），第1039-1044页。IJCAI/AAAI（2011）
[167] Ortiz，M.、Šimkus，M.和Eiter，T.：最坏情况下的最佳连接查询，用于无反转的表达描述逻辑。摘自：第23届AAAI人工智能会议记录（AAAI 2008），第504-510页。AAAI出版社（2008）
[168] 奥尔蒂斯，M。；西蒙库斯，M。；艾特，T。；Krennwallner，T.，《描述逻辑中的推理和问答》，《推理网络》，1-53（2012），海德堡：斯普林格出版社·Zbl 1251.68228号
[169] 奥尔蒂斯，M。；西蒙库斯，M。；康查科夫，R。；Mugnier，M-L，《重新审视表达描述逻辑中查询回答的难度》，《Web推理和规则系统》，216-223（2014），海德堡：斯普林格
[170] OWL工作组，W.:OWL 2网络本体语言：文档概述。W3C建议，2009年10月27日。可在http://www.w3.org/TR/owl2-overview网站/
[171] Pan，J.Z.，Horrocks，I.：OWL FA:OWL DL的元建模扩展。摘自：《第十五届万维网国际会议论文集》，WWW 2006，第1065-1066页。ACM，纽约（2006）
[172] Papadimitriou，CH，计算复杂性（1994），波士顿：Addison-Wesley Publ。Co.，波士顿·Zbl 0833.68049号
[173] Peñaloza，R.，Sertkaya，B.：描述逻辑DL-Lite系列公理精确定位的复杂性。In:ECAI会议记录（2010）·Zbl 1211.68410号
[174] 佩雷斯，J。；阿雷纳斯，M。；Gutierrez，C.，nSPARQL:RDF的导航语言，J.Web Seman。，8255-270年8月4日（2010年）·doi:10.1016/j.websem.2010.01.002
[175] 佩雷兹·乌尔维纳，H。；霍洛克斯，I。；莫蒂克，B。；伯恩斯坦，A。；Karger博士；Heath，T。；费根鲍姆。；梅纳德，D。；莫塔，E。；Thirunarayan，K.，《OWL 2的高效查询应答》，《语义网络-ISWC 2009》，489-504（2009），海德堡：斯普林格，海德伯格·doi:10.1007/978-3642-04930-9_31
[176] 佩雷斯·乌尔维纳，H。；莫蒂克，B。；Horrocks，I.，描述逻辑约束下的可追踪查询应答和重写，J.Appl。逻辑，8，2，186-209（2010）·Zbl 1192.68218号 ·doi:10.1016/j.jal.2009.09.004
[177] Pinto，F.D.，Lembo，D.，Lenzerini，M.，Mancini，R.，Poggi，A.，Rosati，R.、Ruzzi，M.、Savo，D.F.：在基于本体的数据访问中优化查询重写。摘自：《第十六届扩展数据库技术国际会议论文集》，第561-572页（2013年）
[178] Poggi，A。；伦博，D。；Calvanee，D。；德贾科莫，G。；Lenzerini，M。；Rosati，R.，《将数据链接到本体论》，J.data Seman。，10, 133-173 (2008) ·Zbl 1132.68061号
[179] Prud’hommeaux，E.，Seaborne，A.：RDF的SPARQL查询语言。W3C建议（2008）。http://www.w3.org/TR/rdf-sparql-query/
[180] Reutter，J.、Romero，M.、Vardi，M.Y.：图形数据库的常规查询。致：2015年ICDT会议记录（2015）·Zbl 1365.68219号
[181] 罗德里格斯-穆罗，M。；康查科夫，R。；Zakharyaschev，M。；Alani，H。；Kagal，L。；Fokoue，A。；格罗斯，P。；比曼，C。；JX帕雷拉；阿罗约，L。；诺伊，北。；韦尔蒂，C。；Janowicz，K.，《基于Ontology的数据访问：数据库的顶部》，《语义网络-ISWC 2013》，558-573（2013），海德堡：斯普林格·doi:10.1007/978-3-642-41335-3_35
[182] Rodriguez-Muro，M.，Calvanee，D.：基于DL-Lite本体的高性能查询应答。摘自：Brewka，G.，Eiter，T.，McIlraith，S.A.（编辑）《第十三届知识表示与推理原则国际会议论文集》（KR 2012）。AAAI出版社，加利福尼亚州门洛帕克（2012）
[183] 罗萨蒂，R。；Simperl，E。；Cimiano，P。；Poleres，A。；科乔，O。；Presutti，V.，Prexto：DL-Lite中扩展约束下的查询重写，语义网：研究与应用，360-374（2012），海德堡：斯普林格·doi:10.1007/978-3-642-30284-8_31
[184] Rosati，R.：DL+log：描述逻辑和析取数据日志的紧密集成。摘自：《第十届知识表示和推理原则国际会议记录》（KR 2006），第68-98页（2006）
[185] 罗萨蒂，R。；Schwentick，T。；Suciu，D.，《查询本体论的极限》，数据库理论-ICDT 2007，164-178（2006），海德堡：斯普林格·doi:10.1007/11965893_12
[186] Rosati，R.：关于（cal EL）中的连接查询应答。摘自：第20届描述逻辑国际研讨会论文集（DL 2007）（2007）
[187] Rosati，R.：关于处理描述逻辑本体中不一致性的复杂性。附：第22届国际人工智能联合会议（IJCAI 2011）会议记录（2011）
[188] Rosati，R.，Almatelli，A.：改进DL-Lite本体的查询应答。摘自：《第十二届知识表示与推理原则国际会议论文集》（KR 2010）（2010）
[189] 罗萨蒂，R。；Ruzzi，M。；Graziosi，M。；马索蒂，G。；Cudré-Mauroux，P。；赫夫林，J。；Sirin，E。；Tudorace，T。；尤泽纳特，J。；Hauswirth，M。；JX帕雷拉；亨德勒，J。；施赖伯，G。；伯恩斯坦，A。；Blomqvist，E.，《OWL 2 QL本体论中不一致处理技术的评估》，《语义Web-ISWC 2012》，337-349（2012），海德堡：斯普林格·doi:10.1007/978-3642-35173-023
[190] 鲁道夫，S。；Poleres，A。；达阿马托，C。；阿雷纳斯，M。；Handschuh，S.公司。；Kroner，P。；奥斯索夫斯基，S。；Patel-Schneider，P.，《描述逻辑基础》，《推理网络》，76-136（2011），海德堡：施普林格出版社
[191] 鲁道夫，S。；Glimm，B.，名词、倒装、计数和连词查询或：为什么无穷大是你的朋友！，J.阿蒂夫。智力。Res.，39，429-481（2010）·Zbl 1205.68408号
[192] Rudolph，S.，Krötzsch，M.：标记和检查：使用单数定义的查询进行数据访问。摘自：第32届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 2013），第151-162页。ACM（2013）
[193] Schaerf，A。；Torasso，P.，概念语言中的个体推理，人工智能进展，108-119（1993），海德堡：施普林格，海德堡·doi:10.1007/3-540-57292-949
[194] 希尔德，K。；达马斯，LMM；Filgueiras，M.，《术语逻辑与时态逻辑的结合》，《人工智能进展》，105-120（1993），海德堡：斯普林格出版社·doi:10.1007/3-540-57287-2_41
[195] Schlobach，S.，Cornet，R.：用于调试描述逻辑术语的非标准推理服务。收录：第十八届国际人工智能联合会议（IJCAI 2003）（2003）
[196] 塞巴斯蒂亚尼，R。；韦斯科维，M。；Schmidt，RA，《通过Horn-SAT编码和冲突分析在轻量级描述逻辑中精确定位公理》，《自动演绎-CADE-2284-99》（2009），海德堡：斯普林格·Zbl 1250.68246号 ·doi:10.1007/978-3-642-02959-2-6
[197] Seylan，I.，Franconi，E.，de Bruijn，J.：使用DBoxes上的本体进行有效的查询重写。摘自：《第21届国际人工智能联合会议记录》（IJCAI 2009），第923-925页（2009）
[198] Shmueli，O.：逻辑查询的可决定性和表达性方面。摘自：第六届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 1987），第237-249页（1987）
[199] 新墨西哥州Sioutos。；科罗拉多州。；哈伯，M。；Hartel，F。；Shaiu，W。；Wright，L.，《NCI主题词表：整合癌症相关临床和分子信息的语义模型》，J.Biomed。Inf.，40，1，30-43（2006）·doi:10.1016/j.jbi.2006.02.013
[200] Soylu，A.，Kharlamov，E.，Zheleznyakov，D.，Jiménez-Ruiz，E.，Giese，M.，Horrocks，I.：OptiqueVQS：OBDA的可视化查询公式。摘自：第27届描述逻辑国际研讨会（DL）非正式会议记录，第725-728页（2014年）
[201] Stefanoni，G.，Motik，B.：用传递和自反角色回答EL知识库上的连接查询。摘自：《第29届AAAI人工智能会议论文集》（AAAI 2015），第1611-1617页。AAAI出版社（2015）
[202] Stefanoni，G.，Motik，B.，Horrocks，I.：将名词引入EL的组合问答方法。In：第22届AAAI人工智能会议论文集（AAAI 2007）。AAAI出版社（2013）
[203] 斯特凡诺尼，G。；莫蒂克，B。；Krötzsch，M。；Rudolph，S.，《在OWL 2 EL知识库上回答联合和导航查询的复杂性》，J.Artif。智力。研究（JAIR），51，645-705（2014）·Zbl 1315.68117号
[204] Stuckenschmidt，H。；父母，C。；Spacapietra，S.，《模块本体论：知识模块化的概念、理论和技术》（2009），海德堡：施普林格出版社·Zbl 1163.68005号
[205] 阿什伯恩，M。；鲍尔，加利福尼亚州；JA布莱克；博茨坦，D。；巴特勒，H。；樱桃，吉咪；美联社戴维斯；Dolinski，K。；德怀特，SS；Eppig，JT；马萨诸塞州哈里斯；希尔，DP；Issel-Tarver，L。；Kasarskis，A。；刘易斯，S。；马泰塞，JC；JE理查森；Ringwald，M。；总经理鲁宾；Sherlock，G.，《基因本体论：生物学统一的工具》，《自然遗传学》。，25, 25-29 (2000) ·doi:10.1038/75556
[206] Thomazo，M.：存在规则的紧凑重写。在：第23届国际人工智能联合会议论文集（IJCAI 2013）（2013）
[207] Trivela，D.，Stoilos，G.，Chortaras，A.，Stamou，G.：为OWL本体优化基于分辨率的重写算法。J.Web Seman（J.Web塞曼）。（2015年，待发布）
[208] Trivela，D.，Stoilos，G.，Chortaras，A.，Stamou，G.：Horn-\（\cal SHIQ\）中的查询重写（扩展摘要）。在：第29届描述逻辑国际研讨会论文集（DL 2015）（2015）
[209] Vardi，M.Y.：关系查询语言的复杂性。摘自：第14届ACM SIGACT计算机理论研讨会论文集（STOC 1982），第137-146页（1982）
[210] Vardi，M.Y.：关于有界变量查询的复杂性。摘自：第十四届ACM SIGACT SIGMOD SIGART数据库系统原理研讨会论文集（PODS 1995），第266-276页（1995）
[211] Venetis，T。；Stoilos，G。；Stamou，GB，OWL 2 QL本体的查询扩展和增量查询重写，J.Data Seman。，3, 1, 1-23 (2014) ·doi:10.1007/s13740-012-0017-6
[212] Zhou，Y.、Nenov，Y.，Cuenca Grau，B.、Horrocks，I.：使用三重存储回答OWL查询。摘自：《第28届人工智能会议论文集》（AAAI 2014），第1142-1148页（2014）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。