{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,19]]，“日期时间”：“2024-02-19T10:39:27Z”，“时间戳”：1708339167448}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540660767”，“类型”：“打印”}，{“值”：“9783540487654”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[1999]]｝，“DOI”：“10.1007\/978-3-540-48765-4_56”，“type”：“book chapter”，“created”：｛“date parts”：[[2010,9,24]]，“date time”：“2010-09-24T16:27:57Z”，“timestamp”：12853456777000｝，“page”：“520-529英寸，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Why Ontologies Are Not Enough for Knowledge Sharing”]，“prefix”：“10.1007”，”author“：[{”given“：”Fl\u00e1vio S.“，”family“：”Corr\u00eaa da Silva“，”sequence“：”first“，”affiliation“：[]}，{”given“Wamberto”，“family”：“Weber Vasconcelos”，“sequence”：“additional”，“afliation”：[]{，{“给定”：“Jaume”，“family”：“Agust\u00ed”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“David”，“faily”：”Robertson“，”sequence“：”additional“，”affiliance“：[]{，”given“：”Ana Cristina V.y“：”publisher“，”first page“：”303“，”doi“：“10.1080\/09528139408953791”，“卷”：“6”，“作者”：“J.Agusti”，“年份”：“1994”，“非结构化”：“Agusti，J.，Esteva，F.，Garcia，P.，Godo，L.，Lopez de Mantaras，R.，Sierra，C.：模块化专家系统中的局部多值逻辑。实验与理论人工智能杂志\u00a06（3），303\u2013321（1994）”，“期刊标题”：《实验与理论人工智能杂志》}，{“key”：“56_CR2”，“unstructured”：“Agusti，J.，Esteva，F.，Garcia，P.，Godo，L.，Sierra，C.：组合模块化专家系统中的多值逻辑。in:VII Conf.on Understancement in A.I.（1991）”}，}，“key“：”56_CR3“，”doi-asserted-by“：”publisher“，”first page“：“235”，“doi”：“10.1016\/0743-1066（95）00075-5”，“volume”：“26”，“author”：“J.Andrews”，“year”：“1996”，“unstructured”：“Andrews，J.，Dahl，V.，Popowich，F.：表征逻辑语法：一种亚结构逻辑方法。《逻辑编程杂志》：“Bonner，A.J.，Kifer，M.：事务逻辑编程。技术报告CSRI 270，多伦多大学（1992）”}，{“key”：“56_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Correa da Silva，F.S.：关于不确定域的自动推理。技术报告，爱丁堡大学A.I.系（1991）”，“doi”：“10.1007\/3-540-54659-6_80”}：“56_CR6”，“非结构化”：“Correa da Silva，F.S.，Carbogim，D.V.：模糊谓词推理系统。技术报告RT-MAC-9413，IME，圣保罗大学（1994）”}，{“key”：“56-CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Correa da Silva，F.S.，Robertson，D.S.，Hesketh，J.：不确定性的自动推理。收录：Masuch，M.，Polos，L.（编辑）Logic at Work 1992。LNCS（LNAI），卷\u00a0808。Springer，Heidelberg（1994）“，“DOI”：“10.1007\/3-540-58095-6_5”}，{“key”：“56_CR8”，“unstructured”：“Correa da Silva，F.S.，Vasconcelos，W.W.，Robertson，D.S.：基于知识的系统之间的合作。摘自：墨西哥城世界专家系统大会第四届会议，第819\u2013825页（1998）”}、{“key”：”56_CR9“，”DOI-asserted-by“：”crossref“，”非结构化“：”J.Y.Girard。线性逻辑。理论计算机科学，50:1-1021987.“，”DOI“：”10.1016\/0304-3975（87）90045-4“}，{“key”：“56_CR10”，“unstructured”：“Gray，P.P.i.：KRAFT-Knowledge Reuse and Fusion\/Transformation，http://www.csd.abdn.ac.uk \/apreece \/Research\/KRAFT\/KRAFTinfo.html”}，“key“：”56_CR11“，“volume-title”：“信息系统中的形式本体”，“年份”：“1998“，”非结构化“：”Guarino，N.（编辑）：信息系统中的形式本体。IOS出版社，阿姆斯特丹（1998）“}，{”key“：”56_CR12“，”doi-asserted-by“：”publisher“，”first page“：“109”，”doi“：”10.1145\/321679.321688“，”volume“：‘19’，”author“：”R.C.T.Lee“，”year“：”1972“，”unstructured“：”Lee，R.C.T.:Fuzzy Logic and the Resolution Principle.Journal of the ACM\u00a019，109\u2013119（1972）“，”Journal-title“：”Journal the ACM“}”，{“key”“：”56_CR13”，“非结构化”：“Neches，R.，Gunning，D.：知识共享努力，http://\/www-ksl.stanford.edu\/Knowledge-Sharing\/papers\/kse-overview.html”}，{“key”：“56_CR14”，“unstructured”：“Reyes，J.A.，Esteva，F.，Puyol-Gruart，J.：为基于知识的系统定义和组合多值逻辑。In：Proc.1st Catalan A.I.Congr.（1998）”}、{“key“：”56_CR15“，”unstructured“：”Santos，M.V.T.，桑托斯，P.E.，Correa da Silva，F.S.，Rillo，M.：作为PROLOG程序的行动。In:IEEE程序。智能与技术联合研讨会Systems（1996）“}，{”key“：”56_CR16“，”unstructured“：”Shapiro，E.Y.：“不确定逻辑编程\u2013 a Tool for Implementation Rule-based Systems.In:Proc.8 th IJCAI（1983）“}.，{“key”：“56_CR17”，”unsructured”：“”Subrahmanian，V.S.p.d.：Hermes-一个异构推理和中介系统，http://www.cs.umd.edu\/projects\/Hermes\/index.html“}，{“issue”：“2”，“key”：“56_CR18”，“doi-asserted-by”：“publisher”，“first-page”：“93”，“doi”：“10.1017\/S0269888900007797”，“volume”:“11”，“author”：“M.Uschold”，“year”：“1996”，“unstructured”：“Uschold，M.，Gruninger，M.：本体论：原理、方法和应用。知识工程评论\u00a011（2），93\u2013136（1996）”，“期刊标题”：“知识工程评论”，{“关键”：“56_CR19”，“非结构化”：“Zhang，C.，Orlowska，M.：分布式专家系统中不精确推理模型之间的同态变换。技术报告135，昆士兰大学计算机科学系（1989）”container-title“：[“智能系统的多种方法”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-48765-4_56”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,6,4]]，“date-time“：”2019-06-04T22:30:29Z“，”timestamp“：1559687429000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-48765-4_56”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[1999]}，‘ISBN’：[”9783540660767“，”97835487654“]，”references-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-48765-4_56“，”关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[1999]}}}