{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T07:38:05Z”，“时间戳”：1725694685618}，“引用-计数”：41，“发布者”：“IEEE”，“许可证”：[{“开始”：“日期-零件”：[[2019,6,1]]，”“日期-时刻”：“2019-06-01T00:00:00 Z“，”timestamp“：1559347200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2019,6,1]]，“date-time”：“2019-06-01T00:00:00Z”，“timestamp”：1559347200000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1525 23\/policy-029“}，{“开始”：{“日期部分”：[[2019,6,1]]，“date-time”：“2019-06-01T00:00:00Z”，“timestamp”：1559347200000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2019,6]}，“doi”：“10.1109\/lics.2019.8785823”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2019,8,6]]，“date-time”：“2019-08-06T01:15:55Z”，“timestamp”：1565054155000}，“page”：“1-13”，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“Ontology-Mediated Querying Efficient？”]，“prefix”：“10.1109”，“volume”：”4790“，“author”：[{“given”：‘Pablo’，“family”“：”Barcelo“，”sequence“：”first“，“affiliation”：[]}，{“given”：“Cristina”，“family”：“Feier”，“sequence”：“additional”，“affeliance”：[]}asserted-by“：”publisher“，”doi“：“10.1016\/0095-8956（86）90030-4”}，{“key”：“ref38”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/jcss.1999.1626”}、{“journal-title”：“Proc IJCA”，“article-title“：“使用关系数据库系统在描述逻辑中进行连接性查询应答”，“year”：“2009”，“author”：“lutz”，“key“：”“ref33”}y“：”publisher“，”doi“：“10.1007\/978-3-540-71070-7_16”}，{“key”：“ref31”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/212433.220198”}“：”W3C建议书“，”文章标题“：“OWL 2 Web Ontology Language：Document Overview”，“year”：“2009”，“key”：“ref37”｝，｛“journal title”：“Proc of KR”，“article title”：“Horn Dl的最坏情况最优推理，OWL 1和2的片段”，“year”：“2010”，“author”：“ortiz”，“key”：“ref36”｝，｛“key”：“ref35”，“first page”：“237”，“article title”：“描述逻辑中的封闭谓词：组合复杂性的结果”，“author”：“ngo”，“year”：“2016”，“journal-title”：“KR的进程”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/32107.320115”}、{“journal-title“：”KR的过程“，”article-title：“重新考虑的描述逻辑的查询包含”，“年份”：“2012”，“author”:“bienvenfenu”，“key”：“ref10”}，{“key“：“ref40”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/322217.322221”}“，”首页“：”768“，”文章标题“：“轻量级描述逻辑的可追踪查询”，“author”：“bienvenu”，“year”：“2013”，“journal-title”：“IJCAI的程序”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2661643”}by“：”publisher“，”doi“：“10.1007\/s10817-007-9078-x”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.artint.2012.10.003”}、{“密钥”：“ref17”、“doi-sserted-by“：“publicher”、“doi，“author”：“dalmau”，“year”：“2002”，“journal-title”：“CP”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（94）00097-3”}doi-asserted-by“：”publisher“，”doi“：”10.1017\/9781139025355“}，{”key“：“ref27”，“doi asserted by”：“publisher”，“doi”：“10.1007\\s10817-007-9080-3”｝，｛“key”：“ref3”，“doi asserted by”：“publisher”，“doi”：“10.1613\\/jair.4866”｝，｛“key”：“ref6”，“doi asserted by”：“publisher”，“doi”：“10.1145\\2902251.2902302”｝，｛“期刊标题”：“KR Proc”，“文章标题”：“DL-Lite中查询回答的组合方法”，“年份”：“2010”，“作者”：“kontchakov”，“key”：“ref29”}，{“key“：”ref5“，”article-title“：”进一步推进信封“，”volume“：“496”，“author”：“baader”，“year”：“2008”，“journal-title”：“Proc OWLED”}“物品标签”：“Horn描述逻辑中连接查询的一阶可写性和包含性”，“author”：“bienvenu”，“year”：“2016”，“journal-title”：“IJCAI的进程”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1613\/jair.2820”}数据库数量”，“年份”：“1995年”，“作者”：“abiteboul”，“key”：“ref1”}，{“key“：”ref20“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-87803-2_15“}，”{“密钥”：“ref22”，“首页”：“2971”，“文章标题”：“猫头鹰2档案以外的查询答案的组合方法”，“author”：“feier”，“年”：“2015”，“日志标题”：”IJCAI Proc“}，{“key”：“ref21”，“first page”：“759”，“article-title”：“具有传递角色的描述逻辑中的问答”，“author”：“eiter”，“year”：“2009”，“journal-title“：”IJCAI的Proc“}，{“journal-tittle”：“理论计算机科学中的文本——EATCS系列”，“article-title”：“参数化复杂性理论”，“年”：“2006”，“作者”：“flum”，“key”：”ref24“}”，{”journal-title“”：“AMIA的Proc”，“article-title”：“SNOMED RT:卫生保健参考术语”，“年份”：“1997”，“作者”：“spackman”，“key”：“ref41”}，{“key“：”ref23“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2933575.2933580”}“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1206035120636”｝]，“event”：｛“name”：“2019第34届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“start”：｛“date parts”：[[2019,6,24]}，“location”：“Vancouver，BC，Canada”，“end”：｛“date parts”：[[2019,6.27]｝，“container title”：[“2019第34届ACM\/IEEE计算机科学逻辑研讨会（LICS）”]，“original title”：[]，“link”用法：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/8765678\/8785823.pdf？arnumber=8785823”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期-部件”：[2022,7,19]]，“日期-时间”：“2022-07-19T20:18:53Z”，“时间戳”：1658261933000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/8785823\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2019,6]]}，”引用计数“：41，”URL“：”http://\/dx.doi.org\/10.109\/lics.2019.87855823“，”关系“：{}”，“主题”：[】，“发布”：]}}}