{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,12]，“日期时间”：“2024-03-12T14:56:35Z”，“时间戳”：1710255395555}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642396656”，“类型”：“打印”}，{“值”：“9783642396663”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2013,1,1]]，“date-time”：“2013-01T00:00:00Z”，“timestamp”：1356998400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\researters\/text-and-data-mining”}，{“tart”：2013,1,1]]，“日期时间”：“2013-01-01T00:00:00Z”，“timestamp”：1356998400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2013]]}”，“DOI”：“10.1007\/978-3642-396666”-3_22“，”type“：”book-capter“，“已创建”：｛“日期部分”：[[2013,7,15]，“日期-时间”：“2013-07-15T03:05:35Z”，“时间戳”：13738575350000｝，“页面”：“241-246”，“来源”：“Crossref”，“被计数引用”：2，“标题”：[“Kiabora:An Analyzer of Existical Rule Bases”]，“前缀”：“10.1007”，“作者”：[｛“给定”：“Michel”，“家族”：“Lecl\u00e8re”，“序列”：“第一”，“隶属关系”：[]｝，｛”给定”：“Marie-Laure”，“family”：“Mugnier”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Swan”，“家族”：“Rocher”，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“key”：”22_CR1“，”unstructured“：”Baget，J.-F.：改进概念图规则的前向链接算法。收录：KR 2004，第407\u2013414页。AAAI Press（2004）“}，{”issue“：”9-10“，”key“：”22_CR2“，”doi-asserted-by“：”publisher“，”first page“：“1620”，“doi”：“10.1016\/j.artint.2011.03.002”，“volume”：“175”，“author”：“j.-F.Baget”，“year”：“2011”，“unstructured”：“Baget，J.-F.，Lecl\u00e8re，M.，Mugnier，M.-L.，Salvat，E.：关于存在变量的规则：行走可判定线。人工智能\u00a0175（9-10），1620\u20131654（2011）“，”杂志标题“：”人工智能“}，{“key”：“22_CR3”，“unstructured”：“Baget，J.-F.，Mugnier，M.-L.，Rudolph，S.，Thomazo，M.：行走广义保护存在规则的复杂性线。摘自：IJCAI 2011，pp.712\u2013717（2011）”}，}，“key“：”22_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”Cal\u00ec，A.，Gottlob，G.，Lukasiewicz，T.：基于数据日志的通用框架，用于在本体上进行可处理的查询应答。在：PODS 2009，第77\u201386页（2009）“，”DOI“：”10.1145\/1559795.1559809“}，{”key“：”22_CR5“，”DOI-asserted-by“：”publisher“，”first page“：“87”，“DOI”：“10.1016\/j.artint.2012.08.002”，“volume”：“193”，“author”：“A.Cal\u00ec”，”year“：”2012“，”unstructured“：”Cal\u00ec，A.，Gottlob，G.，Pieris，A.：面向更具表现力的本体语言：问答问题。Artif公司。智力。\u00a0193，87\u2013128（2012）“，“新闻标题”：“文章。智力。“}，{”issue“：”1“，”key“：”22_CR6“，”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.：数据交换：语义和查询应答。Theor.Comput.Sci.\u00a0336（1），89 \u2013124（2005）“，”新闻标题“：”西奥。计算。科学。“}，{”key“：”22_CR7“，”unstructured“：”Kontchakov，R.，Lutz，C.，Toman，D.，Wolter，F.，Zakharyaschev，M.：dl-lite中查询应答的组合方法。in:KR（2010）“}”，{“key”：“22_CR8”，“unstructure”：“Lamare，B.：概念依赖优化。实习报告，ENS Cachan和LIRMM \/INRIA（2012年9月）”}，}series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“2”，“doi”：“10.1007\/978-3642-23580-1_2”，“volume-title”：“Web推理和规则系统”，“author”：“M.-L.Mugnier”，“year”：“2011”，“unstructured”：“Mugnier-L.：用存在规则回答本体论问题。收录人：Rudolph，S.，Gutierrez，C.（编辑）RR 2011。LNCS，第u00a06902卷，第2\u201323页。Springer，Heidelberg（2011）“}”，“container-title”：[“Web推理和规则系统”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/link.Springer.com\/content\/pdf\/10007\/978-3642-3966-3_22”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[2023,1,28]]，“date-time”：“2023-01-28T03:08:06Z”，“timestamp”：1674875286000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/link.springer.com\/10.1007\/978-3642-3966-3_22”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2013]]}，‘ISBN’：[”9783642396656“，“9783642396663”]，“references-count”：9，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-642-39666-3_22“，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN type”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2013]]｝｝