{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2023,14]],“日期时间”:“2023-01-14T12:54:00Z”,“时间戳”:1673700840507},“引用计数”:18,“发布者”:“IEEE”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“发布-打印”:{“日期部分”:[[2014,11]]},“DOI”:“10.1109\/sitis.2014.70”,“type”:“procesdings-article”,“created”:{“date-parts”:[[2015,4,13]],“date-time”:“2015-04-13T21:57:28Z”,“timestamp”:1428962248000},“source”:”Crossref“,”is-referenced-by-count“:4,”title“:[”CEDAR:语义Web的高效推理“],”前缀“10.1109”,“author”:[{“给定”:“Samir”,“family”“:”Amir“,”sequence“:”first“,“affiliation”:[]},{“given”:“Hassan”,“family”:“Ait-Kaci”,“sequence”:“additional”,“affaliation”:[]}],“member”:“263”,“reference”:[{“key”:”17“,“article-title”:“Owl reasoning in the real world:Searching for godot”,“author”:“srinivas”,“year”:“2009”,“journal-title“:”Description Logics“}”,{”key“:”18“,“doi-asserted-by”:”publisher“,“doi”:“10.1002\/cfg.432”},{“key”:“15”,“doi-asserted-by”:“publisher”,“doi”:“10.1016\/j.jbi.2003.11.007”},{”key“:“16”,“article-title”:“HermiT:高效猫头鹰推理机”,“author”:“sheler”,“year”:“2008”,“journal-title“:第五届国际猫头鹰经验与方向研讨会论文集(OWLED 2008 EU)”}“2003”,“期刊标题”:“医学主题标题网格”},{“键”:“14”,“第一页”:“107”,“文章标题”:“用troll推理fma本体论”,“卷”:“1015”,“作者”:“pan”,“年份”:“2013”,“期刊标题”:“ORE Ser-CEUR Workshop Proceedings”},{“键”:“11”,“第一页”:“45”,“文章标题”:“protege中的快速分类:Snorocket as a owl 2 el reasoner”,“author”:“lawley”,“year”:“2010”,“journal-title”:“第二届澳大利亚本体论研讨会论文集本体论进展”},{“key”:“12”,“doi-asserted-by”:“publisher”,“doi”:“10.1142\/9789812772435_0035”}:“分类和查询超大分类法”,“author”:“ait-kaci”,“year”:“2014”,“journal-title”:“CEDAR项目LIRIS部门D’Informatique University Claude Bernard Lyon 1”},{“key”:“1”,“article-title“:“概念角色作为有序特征-关系作为功能集合”,“author”:“ait-kaci”:“CEDAR项目LIRIS部门D’Informatique University Claude Bernard Lyon 1”},{“key”:“10”,“doi-asserted-by”:“publisher”,“doi”:“10.1093\/生物信息学\/bts250”}、{“密钥”:“7”,“首页”:“9”,“article-title”:“CEDAR:一个基于格运算的快速分类推理器”,“author”:“amir”,“year”:“2013”,“journal title”:“国际语义网络会议(海报和演示)”},{“key”:“6”,“doi-asserted-by”:“publisher”,“doi”:“10.1016\/S0743-1066(96)00053-2”}、{“key”:”5“,“doo-asserted-by”:”crossref“,”first page“:”255“,“doi:”10.1007\/3-540-5444-5_104“,”article-title“:”Towards a measing of life“,”author“:”ait-kaci“,‘year’:”1991年,“新闻标题”:“第三届编程语言实现和逻辑编程国际研讨会论文集(德国帕索)计算机科学系列讲座笔记”},{“key”:“4”,“doi-asserted-by”:“publisher”,“doi”:“10.1016\/0743-1066(86)90013-0”}:“crossref”,“first page”:“71”,“DOI”:“10.3233\/SW-2011-0034”,“article-title”:“owl 2 el profile中大型本体推理机的比较”,“volume”:”2“,“author”:“dentler”,“year”:“2011”,“journal-title“:”journal of Web Semanticsi“}],“event”:{“name”:“2014年第十届国际信号图像技术和基于互联网的系统会议(SITIS)”,“地点”:“摩洛哥马拉喀什”,“开始”:{“日期部分”:[[2014,11,23]]},“结束”:{“日期部分“:[[20141,11,27]]}},”集装箱标签“:[”2014年第10届国际信号成像技术和基于网络的系统会议“],”原文标题“:[],”链接“用法:[{“URL”:“http://\/xplorestaging.ieee.org\/ielx7\/7080795\/7081475\/07081542.pdf?arnumber=7081542”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[2020,8,31]],“date-time”:”2020-08-31T20:52:39Z“,“timestamp”:1598907159000},“score”:1,“resource”:{“primary”:{“URL”:“http:\/\/ieexplore.ieee.org/document\/7081542\/”}},“副标题”:[],“短标题”:[],“已发布”:{“日期部分”:[[2014,11]]},“引用次数”:18,“URL”:“http:\/\/dx.doi.org/10.1109\/sitis.2014.70”,“关系”:{},“主题”:[],“已发布”:{“日期部分”:[[2014,11]]}}