{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,10,26]]，“日期时间”：“2023-10-26T13:49:41Z”，“时间戳”：1698328181520}，“出版商位置”：“查姆”，“引用计数”：20，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319465227”，“类型”：”打印}，{“值”：“9783319465234”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[2016,1]]:00Z“，”timestamp“：1451606400000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2016]]}，”DOI“：”10.1007\/978-319-46523-4_5“，”类型“：”book-chapter“，”创建“：{”date-part“：[[2016,9,22]]，“日期-时间”：“2016-09-22T13:01:24Z”，“timestamp”：1474549284000｝，“page”：“70-85”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：3，“title”：[“一个用于通过Horn进行查询回答的实用非循环性概念-$$\\mathcal｛SRIQ｝$$Ontologies”]，“prefix”：“10.1007”，“author”：[｛“given”：“David”，“family”：“Carral”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Cristina”，“family”：“Feier”，“sequence”：“additional”，“abfiliation“：[]{”given“：”Pascal“，”family“：”Hitzler“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2016,9,23]]}、“reference”：[{“key”：”5_CR1“，“volume-title”：“描述逻辑手册：理论、实现和应用”，“年份”：“2007年”，“非结构化”：“Baader，F.，Calvanese，D.，McGuinness，D.，Nardi，D.，Patel-Schneider，P.（eds.）：《描述逻辑手册》：理论、实施和应用，第二版。剑桥大学出版社，纽约（2007）”，“版本”：“2”}，{“键”：“5_CR2”，“非结构化”：“Baget，J.，Garreau，F.，Mugnier，M.，Rocher，S.：对存在规则的非循环概念进行扩展。摘自：ECAI 2014，《人工智能与应用的前沿》，第263卷，第39\u201344页。IOS出版社（2014）“}，{“key”：“5_CR3”，“unstructured”：“Cal\u00ec，A.，Gottlob，G.，Kifer，M.：驯服无限追逐。摘自：Brewka，G.和Lang，J.（eds.）《第十一届知识表示与推理原则国际会议论文集》（KR 2008），第70\u201380页。AAAI Press（2008）“｝，｛“key”：“5_CR4”，“doi asserted by”：“publisher”，“first page”：“12”，“doi”：“10.1016\/j.ic.2014.04.002”，“volume”：“237”，“author”：“D Calvanese”，“year”：“2014”，“nonstructured”：“Calvanese，D.，Eiter，T.，Ortiz，M.：通过交替树自动机回答表达性dls中的规则路径查询。Inf.Comput.237，12\u201355（2014）”，“”journal-title“：”信息计算。“}，{”key“：”5_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“345”，”doi“：”10.1007\/978-3642-30284-8_30“，”volume-title“：“语义网：研究与应用”，”author“：”D Carral Mart\u00ednez“，”year“：”2012“，”unstructured“：”Carral Mart\u00ednez，D.，Hitzler，P.：扩展描述逻辑规则。收录人：Simperl，E.，Cimiano，P.，Polleres，A.，Corcho，O.，Presutti，V.（编辑）ESWC 2012。LNCS，第7295卷，第345\u2013359页。Springer，Heidelberg（2012）“}，{”key“：”5_CR6“，”doi-asserted-by“：”crossref“，”first-page“：”741“，”doi“：”10.1613\/jair.3949“，”volume“：“47”，”author“：”BC Grau“，”year“：”2013“，”unstructured“：”Grau，B.C.，Horrocks，I.，Kr\u00f6tzsch，M.，Kupke，C.，Magka，D.，Motik，B.，Wang，Z.：存在规则的非循环性概念及其在本体论中查询回答的应用。JAIR 47，741\u2013808（2013）“，”journal-title“：”JAIR“}，{”issue“：”1“，”key“：”5_CR7“，”doi-asserted-by“：”publisher“，”first-page“：”89“，”doi“：”10.1016\/j.tcs.2004.10.033“，”volume“：“336”，“author”：“R Fagin”，“year”：“2005”，“unstructured”：”Fagin，R.，Kolaitis，P.G.，Miller，R.j.，Popa，L.：数据交换：语义和查询应答。西奥。计算。科学。336（1），89\u2013124（2005）“，“新闻标题”：“Theor。计算。科学。“}，{”key“：”5_CR8“，”doi-asserted-by“：”crossref“，”first page“：“157”，“doi”：“10.1613\/jair.2372”，“volume”：“31”，“author”：“B Glimm”，“year”：“2008”，“unstructured”：“Glimm，B.，Lutz，C.，Horrocks，I.，Sattler，U.：回答描述逻辑SHIQ.J.Artif.Intell.Res.（jair）31，157\u2013204（2008）”，“journal-title”“：”J。Artif公司。智力。Res.（JAIR）“}，{“key”：“5_CR9”，“unstructured”：“Hitzler，P.，Kr\u00f6tzsch，M.，Parsia，B.，Patel-Schneider，P.F.，Rudolph，S.（eds.）：OWL 2 Web本体语言：Primer.W3C建议书（2009年10月27日）。http://www.w3.org\/TR\/owl2-Primer”}Horrocks，I.，Kutz，O.，Sattler，U.：更不可抗拒的SROIQ。摘自：《第十届知识表示和推理原则国际会议论文集》，英国，2013年6月2日，2006年，第57页。AAAI Press（2006）“}，{“key”：“5_CR11”，“unstructured”：“Kontchakov，R.，Lutz，C.，Toman，D.，Wolter，F.，Zakharyaschev，M.：dl-lite中查询应答的组合方法。in：Lin，F，Sattler，U.，Truszczynski，M.（eds.）KR 2010。AAAI Press（2010）“}，{“key”：“5_CR12”，“unstructured”：“Kr\u00f6tzsch，M.，Rudolph，S.：通过连接非循环性和警戒性来扩展可判定存在规则。In:IJCAI，pp.963\u2013968（2011）”}，}“issue”：“1”，“key“：”5_CR13“，”first page“2:1”，”volume“：“14”，“author”：“M Kr\u001f6tzzch”，“year”：“2013”，“非结构化”：“Kr\u00f6tzsch，M.，Rudolph，S.，Hitzler，P.：号角描述逻辑的复杂性。ACM事务处理。公司。日志。14（1），2:1\u20132:36（2013）“，“日记标题”：“ACM Trans。公司。日志。“}，{”key“：”5_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Marnette，B.：广义schema-mappings:from termination to tractability“。收录于：PODS，pp.13\u201322（2009）“，”doi“：”10.1145\/1559795.1559799“}”，{“key”：“5_CR15”，“series-title”：“计算机科学讲义”，“doi-assert-by”：“publisher”，“首页”：“3”，“doi”：”10.1007 \/978-3-319-25010-6_1“，“volume-title”：“语义Web-ISWC 2015”，“author”：“Y Nenov”，“year”：“2015年”，“unstructured”：“Nenov，Y.，Piro，R.，Motik，B.，Horrocks，I.，Wu，Z.，Banerjee，J.：RDFox：一家规模很大的RDF商店。In：Arenas，M.等人（编辑）ISWC 2015。LNCS，第9367卷，第3\u201320页。斯普林格，海德堡（2015）。doi:10.1007\/978-3-319-25010-6_1“}，{“key”：“5_CR16”，“unstructured”：“Rudolph，S.，Glimm，B.：名词、倒数、计数和连接查询或：Why infinity is your friend！CoRR abs \/1401.3849（2014）”}，}，“key“：”5_CR17“，”doi-asserted-by“：”crossref“，”unstructure“：”Stefanoni，G.，Motik，B.，Horrocks，I.：将名词引入$$\cal EL$$的组合问答方法。收录于：AAAI（2013）“，”DOI“：”10.1609\/AAAI.v27i1.8452“}，{“key”：“5_CR18”，“DOI-asserted-by”：“crossref”，“first page”：”645“，“DOI”：“10.1613\/jair.4457”，“volume”：：“51”，“author”：“G Stefanoni”，“year”：“2014”，“unstructured”：“Stefanoni，G.，Motik，B.，Kr\u00f6tzsch，M.，Rudolph，S.：回答OWL 2 EL知识库上的联合和导航查询的复杂性。J.人工制品。智力。Res.（JAIR）51，645\u2013705（2014）“，“期刊标题”：“J.Artif。智力。Res.（JAIR）“}，{”key“：”5_CR19“，”doi-asserted-by“：”publisher“，”first page“：“78”，”doi“：”10.1016\/j.websem.2014.06.003“，”volume“:”27“，”author“：”A Steigmiller“，”year“：”2014“，”unstructured“：”Steigmille，A.，Liebig，T.，Glimm，B.：Konclude:系统描述。j.Web Sem.27，78\u201385（2014）“，”journal-title“：”j.Web Sem.“}，{”key“：”5_CR20“，”doi-asserted-by“：”crossref“，”first-page“：”309“，”doi“：”10.1613\/jair.4757“，”volume“：”54“，”author“：”Y Zhou“，”year“：”2015“，”unstructured“：”Zhou，Y.，Grau，B.C.，Nenov，Y.、Kaminski，M.，Horrocks，I.：Pagoda:用数据日志推理器回答的pay-as-you-go本体查询。J.人工制品。智力。Res.（JAIR）54，309\u2013367（2015）“，“期刊标题”：“J.Artif。智力。Res.（JAIR）“｝]，“容器标题”：[“计算机科学讲义”，“语义网\u2013 ISWC 2016”]，“原标题”：[]，“链接”：[｛“URL”：“https:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-319-4652-3-4_5”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“已保存”：｛date-parts“：[2022,7,9]]，“date-time”：“2022-07-09T00:37:11Z”，“timestamp”：1657327031000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-319-46523-4_5”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2016]]}”，“ISBN”：[“9783319465227”“，”9783319465234“]，”references-count“：20，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-46523-4_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”数值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期段“：[2016]]}，“断言”：[{“值”：“2016年9月23日“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name“：”ChapterHistory“，”label“：”Chapter History”}}，{“value”：“ISWC”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，”label:“Confection Information”}，”value“：”International Semantical Web Conferences“，”order“：2，”name“conference_name”，“标签”：“会议名称”，“组”：{-“name”“ConfernceInfo”“，”label“：”会议信息“}}，{“value”：“Kobe”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}“，”order“：5，”name“：”conference_eyear“，”label“：”会议年“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝｝，｛”value“：”2016年10月17日“，”order“：7，”name“：”conference_start_date“，”label“：”会议开始日期“，”group“：｛”name“：”ConferenceInfo“，”label“：”会议信息“｝｝｝，｛”value“：”2016年10月21日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“group“：{”name“：”ConferenceInfo“，”label“：”会议信息“}}，”value“：”此内容对所有人都可用。“，”name“:”free“，”标签“：”free to read“}]}}