{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[2022,4,5]],“日期时间”:“2022-04-05T16:56:00Z”,“时间戳”:1649177760129},“出版商位置”:“柏林,海德堡”,“参考计数”:16,“出版者”:“施普林格-柏林-海德堡(Springer Berlin Heidelberg)”,“isbn-type”:[{“值”:“9783642153631”,“类型”:“打印”},{“值”:“9783642153648”,“type”:“electronic”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},“short-container-title”:[],”published-print“:{”date-parts“:[[2010]]},”DOI“:”10.1007\/978-3642-15364-8_43“,”type“:”book-capter“,”created“:”{“date-part”:[2010,8,13]],“date-time”:“2010-08-13T10:43”23:11Z“,”时间戳“:1281694991000},”页面“:”503-511“,“source”:“Crossref”,“is-referenced-by-count”:1,“title”:[“Ontologies上的近似实例检索”],“prefix”:“10.1007”,”author“:[{”given“:”Tuvshintur“,”family“:”Terendorj“,”sequence“:”first“,”affiliation“:[]},{”给定“:”Stephan“,”“family”:“Grimm”,“sequence”:“additional”,“afliation”:[]{”r“,”序列“:“additional”,“affiliation”:[]}],“member”:“297”,“reference”:[{“issue”:“1”,“key”:“43_CR1”,“doi-asserted-by”:“publisher”,”first page“:”1“,”doi“:”10.1016\/0004-3702(91)90078-X“,”volume“:“48”,”author“:”M.Schmidt-Schau00df“,”year“:”1991“,”unstructured“:“Schmidt-Schau\u00df,M.,Smolka,G.:带补语的属性概念描述。人工智能\u00a048(1),1\u201326(1991)”,“期刊标题”:“人工智能”},{“key”:“43_CR2”,“doi-asserted-by”:“crossref”,“非结构化”:“Sirin,E.,Parsia,B.,Grau,B.C.,Kalyanpur,A.,Katz,Y.:Pellet:一个实用的OWL-DL推理器。在:Web语义:万维网上的科学、服务和代理,第51\u201353页(2007)”,“DOI”:“10.1016\/j.websem.2007.03.004”},{“key”:“43_CR3”,“series-title”:“人工智能课堂笔记”,“DOI-asserted-by”:“publisher”,“first page”:“701”,“DOI”:“10.1007\/3-540-45744-5_59”,“volume-title”:“自动推理”,“author”:“V.Haarslev”,“year”:“2001”,“unstructured”:“Haarsleve,V.,M\u00f6ller,R.:Racer System Description。In:Gor\u00e9,R.P.,Leitsch,A.,Nipkow,T.(eds.)IJCAR 2001。LNCS(LNAI),第u00a02083卷,第701\u2013706页。Springer,Heidelberg(2001)“},{“key”:“43_CR4”,“unstructured”:“Motik,B.:使用解析和演绎数据库进行描述逻辑推理。博士论文,University\u00e4t Karlsruhe(2006)”},“key“:”43_CR5“,“series-title”:“计算机科学课堂笔记”,“doi-asserted-by”:“publisher”,“first page”:”182“,“doi”:“10.1007\/11581116_19”,“volume-title“:“Web信息系统工程\u2013 WISE 2005 Workshops”,“author”:“A.Kiryakov”,“year”:“2005”,“unstructured”:“Kiryakow,A.,Ognyanov,D.,Manov,D.:OWLIM\u2013 OWL的实用语义库。作者:Dean,M.,Guo,Y.,Jun,W.,Kaschek,R.,Krishnaswamy,S.,Pan,Z.,Sheng,Q.Z.(编辑)WISE 2005研讨会。LNCS,第u00a03807卷,第182\u2013192页。Springer,Heidelberg(2005)“},{“key”:“43_CR6”,“nonstructured”:“Tobies,S.:知识表示中逻辑的复杂性结果和实用算法。博士论文,德国亚琛工业大学(2001)”},{“issue”:“2”,“key”:“43_CR7”,“doi asserted by”:“publisher”,“first page”:“94”,“doi”:“10.1109\/MIC.2007.51”,“volume”:“11”,“author”:“D.Fensel”,“year”:“2007年,“非结构化”:“Fensel,D.,van Harmelen,F.:将推理和搜索统一到网络规模。IEEE Internet Computing\u00a011(2),94\u201395(2007)“,”journal-title“:”IEEE Internet Computing“},{“key”:“43_CR8”,“series-title”:“计算机科学讲义”,“doi-asserted-by”:“publisher”,“first page”:”150“,”doi“:”10.1007\/978-3-540-88737-9_12“,”volume-title:“Web Reasoning and Rule Systems”,“author”:“S.Rudolph”,“year”:“2008”,“非结构化“:”Rudolph,S.、Tserendorj,T.、Hitzler,P.:什么是近似推理?收录:Calvanee,D.,Lausen,G.(编辑)RR 2008。LNCS,第u00a05341卷,第150\u2013164页。Springer,Heidelberg(2008)“},{“key”:“43_CR9”,“unstructured”:“Baader,F.,Brandt,S.,Lutz,C.:推动$\\mathcal{EL}$Envelope。收录于:Kaelbling,L.P.,Saffiotti,A.(编辑)IJCAI-05,《第十九届国际人工智能联合会议论文集》,英国苏格兰爱丁堡,第364\u2013369页。专业图书中心(2005)“},{”key“:”43_CR10“,”series-title“:”计算机科学讲义“,”doi-asserted-by“:”publisher“,”first page“:“383”,”doi“:”10.1007\/11574620_29“,”volume-title“:“The Semantic Web\u2013 ISWC 2005”,”author“:”P.Hitzler“,”year“:”2005“,”unstructured“:”Hitzler,P.,Vrandecic,D.:OWL DL的基于分辨率的近似推理。收录:Gil,Y.等人(编辑)ISWC 2005。LNCS,第u00a03729卷,第383\u2013397页。Springer,Heidelberg(2005)“},{”key“:”43_CR11“,”series-title“:”计算机科学讲义“,”doi-asserted-by“:”publisher“,”first page“:“165”,“doi”:“10.1007\/978-3-540-88737-9_13”,“volume-title”:“Web Reasoning and Rule Systems”,“author”:“T.Tserendorj”,“year”:“2008”,“unstructured”:“”Tserendorj,T.、Rudolph,S.、Kr\u00f6tzsch,M.、Hitzler,P.:用Screech进行近似OWL-推理。收录:Calvanee,D.,Lausen,G.(编辑)RR 2008。LNCS,卷\u00a05341,第165\u2013180页。施普林格,海德堡(2008)“},{“键”:“43_CR12”,“卷标题”:“描述逻辑手册:理论、实现和应用”,“年份”:“2007”,“非结构化”:“Baader,F.,Calvanese,D.,McGuinness,D.,Nardi,D.,Patel Schneider,P.(编辑):描述逻辑手册:理论、实现和应用。剑桥大学出版社,剑桥(2007)“},{”issue“:”1“,”key“:”43_CR13“,”doi-asserted-by“:”publisher“,”first page“:“64”,“doi”:“10.1145\/357980.358007”,“volume”:“26”,“author”:“E.F.Codd”,“year”:“1983”,“unstructured”:“Codd,E.F.:大型共享数据库数据的关系模型。ACM Commun.\u00a026(1),64\u201369(1983)”,“journal al标题“:”ACM通信。“},{”key“:”43_CR14“,”volume-title“:”Database Management Systems“,”author“:”R.Ramakrishnan“,”year“:”2000“,”unstructured“:”Ramakrashnan,R.,Gehrke,J.:数据库管理系统。Osborne,McGraw-Hill,Berkeley(2000)“})90078-X“,”卷“:”48“,”作者”:“M.Schmidt Schau\u00df”,“年份”:“1991”,“非结构化”:“Schmidt Schau\u00df,M.,Smolka,G.:带补语的归因概念描述。人工智能杂志\u00a048(1),1\u201326(1991)“,”Journal-title“:”Journal of Artificial Intelligence“},{“key”:“43_CR16”,“doi-asserted-by”:“crossref”,“unstructured”:“Tserendorj,T.,Grimm,S.,Hitzler,P.:本体论的近似实例检索。技术报告,Kno.e.sis中心,俄亥俄州代顿市赖特州立大学(2010),http://\/knoesis.wright.edu\/caustructure\/pascal\/resources\/publications\/aqa2010%.pdf“,”DOI“:”10.1007\/978-3642-15364-8_43“}],”container-title“:[”计算机科学讲义“,”数据库和专家系统应用程序“],”original-title”:[],“链接”:[{“URL”:“http://\/link.springer.com\/content\/pdf\/10.10007\/978-3642-1564-8_43.pdf”,“content-type“:”unspecified“,”content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[[2020,11,24]],”date-time“:“2020-11-24T03:05:17Z”,”timestamp“:160618711700},”score“:1,”resource“:{primary“:”http://link.springer.com\/10007\/978-3642-15364-8_43“},“subtittle”:[],“短标题”:[],”已发布“:{”date-parts“:[[2010]]},”ISBN“:[”9783642153631“,”978364 2153648“],”references-count“:16,”URL“:”http://\/dx.doi.org\/10.1007\/978-3642-15364-8_43“,”relation“:{},“ISSN”:[”0302-9743“,”1611-3349“],“ISSN-type”:[{“value”:“0302-974”,”type“:”print“},{”value“:“”1611-3349“,”type“:”electronic“}],”subject“:[],”published“:{”date-parts“:[[2010]]}}