用范畴论和SHOIQ（D）DL形式化上下文

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：ddnihaoba

【摘要】

：

为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ（D）内提出了一个基于上下文的Context-SHOIQ（D）形式系统,文

【作者】

：

肖如良唐胜群李玲房丽娜邓新国

【机构】

：

武汉大学软件工程国家重点实验室,湖南财经高等专科学校信息管理系

【出处】

：

小型微型计算机系统

【发表日期】

：

2007年7期

【关键词】

：

范畴描述逻辑上下文 Context—SHOIQ(D) 信息集成 category description logic context Context-

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ（D）内提出了一个基于上下文的Context-SHOIQ（D）形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.

其他文献

心力衰竭及心室重构相关新型生物标志物的研究进展

血清生物标志物对于心力衰竭的诊断、治疗、预后有着不可估量的作用。血清可溶性基质溶素-2(soluble ST2,sST2)、半乳糖凝集素-3(Galectin-3)及生长分化因子-15(growth diffe

期刊

心力衰竭心室重构生物标志物heart failureventricular remodelingbiomarker

电子商务下的第三方物流

本文首先分析了在电子商务环境下第三方物流发展中存在的几个问题，最后针对问题提出相应的对策。

期刊

电子商务第三方物流物流

相控阵雷达点迹数据处理算法研究

针对某型号相控阵雷达的技术特点和数据处理功能需求,开展了相控阵雷达数据处理算法、数据处理流程设计和数据处理系统工程化实现方法研究,讨论了从视频数据接收到点迹凝聚完

期刊

相控阵雷达数据处理比幅测角方位仰角凝聚

寓物理学科核心素养于问题情境教学

一、“一情境多解”有助于培养学生的发散性、求异性和创造性思维品质“一情境多解”就是启发和引导学生选取不同的研究对象、不同的研究过程,运用不同的物理规律和不同的数

期刊

物理学科核心素养问题情境教学

中国近代赔款数额的考察

根据第一次鸦片战争以来中国和列强签订的不平等条约,以及一些具体情况,中国应偿付的赔款本息总额高达海关银17.6050亿余两,约为27.42859亿银元。但由于一些具体原因,中国实

期刊

中国近代不平等条约清政府第一次鸦片战争庚子赔款甲午战争

辨证中药维持治疗晚期结直肠癌的临床研究

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

中医药卡培他滨晚期结直肠癌维持治疗

通州公安做强派出所,提升基层警务实战化水平

2016年以来,通州公安认真贯彻落实公安部、省厅有关深化公安改革工作、推进“四项建设”的决策部署,以南通市公安局“做优局机关、做强派出所、做实警务室”为抓手,突出“做

期刊

派出所基层警务实战化

新疆地区有色金地质勘查及规划分析

随着经济的发展,有色金属开发与产出矛盾逐渐加大,通过利用地质勘查技术获取新疆地区有色金属地质信息,依托勘查结果对有色金属地质进行勘查评估分析,完成有色金地质勘查。结

期刊

有色金地质勘查规划分析新疆地区

《口腔修复学》试题库的构建与思考

根据口腔修复学课程的特点,按照教学改革的要求,研究课程教学大纲,结合口腔助理(执业)医师考试大纲要求,分析教学内容、范围,确定考核知识点,构建口腔修复学试题库.同时对试

期刊

口腔修复学试题库构建

用范畴论和SHOIQ（D）DL形式化上下文

其他学术论文