{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,16]]，“日期时间”：“2024-05-16T14:53:37Z”，“时间戳”：1715871217157}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540345442”，“类型”：“打印”}，{“值”：“9783540345459”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2006]]｝，“DOI”：“10.1007\/11762256_42”，“type”：“book chapter”，“created”：｛“date parts”：[[2006,5,31]，“date time”：“2006-05-31T19:40Z”，“timestamp”：1149103780000｝，“page”：“575-589”，“来源”：“Crossref”，“is-referenced-by-count”：22，“title”：[“将语义服务描述与局部封闭世界推理相匹配”]，“prefix”：“10.1007”，”author“：[{“given”：“Stephan”，“family”：“Grimm”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Boris”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“42_CR1”，“unstructured”：“The OWL Service Coalition.OWL-S 1.1 release（2004年11月），在线阅读：http://www.daml.org ic推理”，“author”：“G.Antoniou”，“year”：“1997”，“unstructured”：“安东尼奥，G.：非单调推理。麻省理工学院出版社，剑桥（1997）”}，{“key”：“42_CR3”，“volume-title”：“The Description Logic Handbook”，“年”：“2003”，“非结构化”：“Baader，F.，Calvanese，D.，McGuinness，D.，Nardi，D.，Patel-Schneider，P.（eds.）：描述逻辑手册。剑桥大学出版社，剑桥（2003）“}，{”key“：”42_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“590”，”doi“：”10.1007\/1176225_43“，”volume-title“：“语义网络：研究与应用”，”author“：”J.Bruijn de“，”year“：”2006“，”unstructured“：”de Bruijn，J.，Lausen，H.，Polleres，A.，Fensel，D.：Web服务建模语言WSML:概述。收录：Sure，Y.，Domingue，J.（编辑）ESWC 2006。LNCS，第u00a04011卷，第590\u2013604页。Springer，Heidelberg（2006）“}，{“问题”：“1-2”，“关键”：“42_CR5”，“doi-asserted-by”：“出版商”，“首页”：“225”，“doi”：“10.1016\/S0004-3702（98）00009-5”，“卷”：“100”，“作者”：“F.M.Donini”，“年份”：“1998”，“非结构化”：“Donini，F.M.、Lenzerini，M.、Nardi，D.、Nutt，W.、Schaerf，A.：描述逻辑的认识论算子。人工智能\u00a0100（1-2），225\u2013274（1998）“，”杂志标题“：”人工智能“}，{“问题”：“2”，“关键”：“42_CR6”，“doi-asserted-by”：“出版商”，“首页”：“177”，“doi”：“10.1145 \/505372.505373”，“卷”：“3”，”作者“F.M.Donini”，“年份”：“2002”，“非结构化”：“Donini，F.M.、Nardi，D.、Rosati，R.：《最小知识和否定作为失败的描述逻辑》。ACM计算逻辑汇刊\u00a03（2），177\u2013225（2002）“，“期刊标题”：“ACM计算逻辑学汇刊”}，{“key”：“42_CR7”，“首页”：“178”，“卷标”：“第四届知识表示与推理国际会议论文集（KR 1994）”，“作者”：“O.Etzioni”，《年份》：“1994”，“非结构化”：“Etzioni，O.，Golden，K.，Weld，D.：带更新的可牵引封闭世界推理。参见：《第四届知识表示与推理国际会议论文集》（KR 1994），第178\u2013189页。Morgan Kaufmann，San Francisco（1994）“}，{“key”：“42_CR8”，“unstructured”：“Gonz\u00e0lez-Castillo，J.，Trastour，D.，Bartolini，C.：服务匹配的描述逻辑。In：KI 2001 Workshop Proc.on Appl.of DL（2001）”}，}，[key“：”42_CR9“，“unsructured“：”Grimm，S.，Motik，B.：通过认识运算符实现语义网络中的封闭世界推理。收录：CEUR OWL经验与方向研讨会论文集，爱尔兰戈尔韦（2005）“}，{“key”：“42_CR10”，“unstructured”：“Grimm，S.，Motik，B.，Preist，C.：电子商务服务发现中的差异。收录：2004年ISWC第一届国际研讨会SWS 2004（2004年11月）论文集”}，}，“key“：”42_CR11“，“unsructured“：”Haarslev，V.，M\u00f6ller，R.：RACER系统及其应用的描述。In:International Workshop on Description Logics（2001）“}，{”key“：”42_CR12“，”unstructured“：”Heflin，J.，Munoz-Avila，H.：基于LCW的语义Web Agent Planning for the Semantic Web。In:AAAI Workshop onOn Ontologies and the Semanitical Web（WS-02-11）（2002）“”}，“{”key“：“42_CR13”，“first page”：“636”，“volume-title”：“”第六届知识表示与推理国际会议论文集（KR 1998）”，“作者”：“I.霍洛克斯”，“年份”：“1998”，“非结构化”：“霍洛克斯，I.：使用表达描述逻辑：FaCT还是虚构？载于：《第六届知识表示与推理国际会议论文集》（KR 1998），第636\u2013645页。Morgan Kaufmann，San Francisco（1998）“}，{”key“：”42_CR14“，”series-title“：”计算机科学讲座笔记“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1007\/11431053_1“，“volume-title”：“语义网络：研究与应用”，“author”：“U.Keller”，“year”：“2005”，“unstructured”：“Keller，U.、Lara，R.、Lausen，H.、Poleres，A.、Fensel，D.：服务的自动定位。收录：G\u00f3mez-P\u00e9rez，A.，Euzenat，J.（编辑）ESWC 2005。LNCS，第u00a03532卷，第1\u201316页。Springer，Heidelberg（2005）“}，{“key”：“42_CR15”，“unstructured”：“Kifer，M.，Lara，R.，Polleres，A.，Zhao，C.，Keller，U.，Lausen，H.，Fensel，D.：Web服务发现的逻辑框架。摘自：2004年ISWC第一届SWS 2004国际研讨会论文集（2004年11月）”}Lausen，H.、Roman，D.、Keller，U.：Web服务建模本体-标准（WSMO-Standard）。工作草案。数字企业研究所（DERI）技术报告（2004年3月），http://www.wsmo.org\/2004\/d2\/v0.2\/“}，{“key”：“42_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Li，L.，Horrocks，I.：基于语义Web技术的配对软件框架。In:第十二届万维网会议（2003）论文集”，“doi”：“10.1145\/775152.775199“}，{“key”：“42_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Di Noia，T.，Di Sciascio，E.，Donini，F.M.，Mogiello，M.：电子市场中的原则配对系统。电子商务杂志\u00a09（2004）”，“doi”：“10.1080\/10864415.2004.11044308”}，}“key:”42_CR19“，”series-title“：”《计算机科学课堂讲稿》，“doi-asserted-by”：“publisher”，“first page”：“333”，“doi”：“10.1007\/3-540-48005-6_26”，“volume-title”：“语义Web-ISWC 2002”，“author”：“M.Paolucci”，《年份》：“2002年”，“unstructured”：“Paoluci，M.、Kawamura，T.、Payne，T.，Sycara，K.：Web服务功能的语义匹配。摘自：Horrocks，I.，Hendler，J.（编辑）ISWC 2002。LNCS，卷\u00a02342，第333\u2013347页。Springer，Heidelberg（2002）“}，{“key”：“42_CR20”，“unstructured”：“Patel-Schneider，P.F.，Hayes，P.，Horrocks，I.，van Harmelendoi-asserted-by“：”publisher“，”first page“：”395“，”doi“：”10.1007\/978-3-540-30475-3_28“，”volume-title“：”The Semantic Web\u2013 ISWC 2004“，”author“：”C.Preist“，“year”：“2004”，“unstructured”：“Preist，C.：语义Web服务的概念架构。收录人：McIlraith，S.A.、Plexousakis，D.、van Harmelen，F.（编辑）ISWC 2004。LNCS，第\u00a03298卷，第395\u2013409页。Springer，Heidelberg（2004）“}，{”key“：”42_CR22“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“987”，”doi“：”10.1007\/1157462_70“，”volume-title“：“The Semantic Web\u2013 ISWC 2005”，”author“：”C.Preist“，“year”：“2005”，“unstructured”：“Preist，C.、Esplugas-Cuadrado，J.、Battle，S.、Grimm，S.和Williams，S.：使用语义Web服务技术实现物流供应链的自动化企业对企业集成。收录人：Gil，Y.、Motta，E.、Benjamins，V.R.、Musen，M.A.（编辑）ISWC 2005。LNCS，第u00a03729卷，第987\u20131001页。Springer，Heidelberg（2005）“}，{“问题”：“3\u20134”，“关键”：“42_CR23”，“首页”：“219”，“卷”：“11”，“作者”：“R.Rosati”，“年份”：“1998”，“非结构化”：“Rosati，R.：自认知描述逻辑。AI Communications\u00a011（3\u2013），219\u2013221（1998）”，“新闻标题”：“AI Communications”}，}“关键”:“42_CR2”，“无结构”：“Di Scasio，E.，Dononi，F.M.，Mongiello，M.，Piscitelli，G.：基于知识的个人对个人电子商务系统。In：程序。KI 2001描述逻辑应用研讨会（2001）“}，{“key”：“42_CR25”，“unstructured”：“Sirin，E.，Parsia，B.，Cuenca Grau，B.，Kalyanpur，A.，Katz，Y.：Pellet:A Practical OWL-DL Reasoner，技术报告，马里兰大学高级计算机研究所（UMIACS）（2005），http://\/mindswap.org\/papers\/PelletDemo.pdf“}，{”key“：”42_CR26“，”doi-asserted-by“：”crossref“，”unstructured“：”Trastour，D.，Bartolini，C.，Preist，C.：“企业对企业电子商务生命周期的语义Web支持。摘自：第十一届万维网国际会议论文集，第89\u201398页（2002）“，”doi“：”10.1145\/51146.511458“}]，“container-title”：[“计算机科学课堂讲稿”，“语义网：研究与应用”]，“original-title“：[]，”link“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11762256_42.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，”存放“：{”date-parts“：[[2021,4,27]]，“date-time”：“2021-04-27T07:10:26Z”，“timestamp”：1619507426000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/11762256_42”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2006]}”，“ISBN”：[“9783540345442”，“978354345”459“]，”references-count“：26，”URL“：”http:\/\/dx.doi.org\/10.1007\/11762256_42“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”主题“：[]，”published“：{”date-parts“：[2006]]}}}}