An Extended Ontology Model and Ontology Checking Based on Description Logics

来源 :上海交通大学学报:英文版 | 被引量 : 0次 | 上传用户:killer0662
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation asserti
其他文献
目的 探索用食管心电图优化双腔起搏器房室间期.方法 选择2008年1月至2014年3月因高度或Ⅲ度房室传导阻滞、双结病变在我院植入起搏器的患者22例,男性13例,女性9例,平均年龄(6
目的探讨缺血性心肌病(ICM)患者在传统心力衰竭治疗基础上联合伊伐布雷定治疗对心功能和心率变异性(HRV)的影响。方法人选85例ICM患者随机分为常规治疗组(n=42)和伊伐布雷定组(n=43)
目的:探讨胃肠道间质瘤的诊断和治疗.方法:回顾性分析2001~2004年收治的8例胃肠道间质瘤的临床资料.结果:胃间质瘤7例,回肠间质瘤1例,均无腹腔及远处转移.术前诊断为胃肠道间
慢性腹泻是消化系统疾病中的一种常见的症状,是由于胃肠道的分泌、消化吸收及运动功能障碍,导致粪便稀薄,次数增加,病程超过2个月,属于中医"泄泻"范畴,是临床上的常见病,多发病
我科对96例支气管肺炎患儿分为2组,在综合治疗的基础上,其中48例加用复方丹参辅助治疗,起到了缩短病程的作用.现报告如下:1 临床资料 96例为2001年11月~2002年5月住院患儿.诊
2018年8月10日,由首都师范大学主办、商务印书馆协办的2018年中国语言学书院核心课程研修班和语言类型学高级研修班在首都师范大学顺利结业。这是中国语言学书院举办的第七届
Shape from shading(SFS)is an important domain in computer vision.The paper presented an improved algorithm of shape from shading based on a single image according to an existed one.The presented algor
语法与修辞是密切相关的两门学科。把语法与修辞结合起来研究是中国的语言研究传统。《马氏文通》的成功不仅在于其引入的西方语言学思想,也在于其继承的中国传统。
胰腺癌近年来呈逐渐上升趋势.我们通过总结分析38例进展期胰腺癌的超声结果及声像图特征,与X线、CT扫描、超声引导细针组织学活检结果对比,进一步探讨B超在诊断进展期胰腺癌