描述逻辑SHIQ研究

来源 :曲阜师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:jianghong_jones
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.
其他文献
目的探讨唐氏综合征(Ds)筛查在本地区运用的有效性,建立本实验室中位数的参考值,提高筛查效率。方法对3589例孕妇用微粒子发光酶免疫分析仪(Access)检测甲胎蛋白(AFP)、β-绒毛膜促性
加强社会主义核心价值观对高校就业教育的引领,具有提高大学生就业综合素质、引领高校就业教育价值取向、实现国家人才培养战略的重要意义。目前,高校就业教育还存在缺乏科学
目的:探讨合谷穴和内关穴经皮穴位电刺激(TEAS)防治甲状腺腺叶切除术后咽喉痛(POST)的临床疗效。方法:将美国麻醉医师协会(ASA)病情分级Ⅰ~Ⅱ级、择期甲状腺腺叶切除的120例患者
19世纪女性小说《爱玛》被认为是简·奥斯丁六部小说中最成功的作品。小说主要描绘了十九世纪初期英国普通家庭的琐事,成功塑造了具有独立思想的主人公爱玛这一形象。《爱玛