基于HS-树的所有MIPS求解算法

来源 :北京交通大学学报 | 被引量 : 0次 | 上传用户:woaixuyong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.目前很多解决本体不一致的方法都需要计算最小不一致保持子集(MIPS).本文利用HS-树方法给出了一种能够有效计算本体中所有MIPS的算法.实验表明该算法是有效的,尤其对于本体中包含不可满足的概念远远多于MIPS的情形更加有效.
其他文献
胡晓翔(南京市卫生局政策法规与监督处处长,中国卫生法学会理事,中国医师协会维权委员会委员,中国医院协会医疗法制专业委员会常务委员,江苏省卫生法学会副会长,南京医科大学
新时期我国意识形态领域发生了深刻的变化,实现了一系列的创新与发展,整合方式上尊重差异、包容多样,执政理念上促发展谋和谐,主导方式上以社会主义核心价值体系凝聚社会共识
深入宣传宪法,广泛传播法律知识,进一步坚定法治建设的中国特色社会主义方向,提高全民法律意识和法律素质,提高全社会法治化管理水平,促进社会主义法治文化建设,推动形成自觉
泛北部湾经济区被视之为继长三角、珠三角和环渤海三大沿海经济圈后,极具发展潜力的第四极经济区,各方都很看好该区域的合作发展。从2006年7月提出泛北部湾经济合作战略构想
进入21世纪以来,高科技发展最热门的领域是现代生物技术。以自然资源丰富著称的巴西抓住生物技术发展的机遇,创立了以现代生物技术为主导的经济发展模式和创新模式,即“生物
目的:调查本院尿路感染致病菌对抗菌药耐药性的变迁.方法:对我院2006~2009年符合尿路感染患者的尿液标本进行细菌培养鉴定及耐药性分析.结果:共收集非重复分离菌2076株,G-菌13
经过多年的临床教学改革实践,实现了以学生、督导专家、教研室主任、教师同行等多主体参与的,教师课堂教学质量随机督导评估、学生对任课教师授课情况的动态综合评价、期末临
依照在19世纪末制定的日本民法,关于合同不履行向来有如下规则:在债务能够履行的场合,债权人可以主张强制履行、请求赔偿损害或者解除合同。在债务不能履行的场合,如债务人有
根据多刚体动力学理论,采用高斯最小拘束方法,建立了复杂舰炮系统的动力学方程,并结合相关实验参数进行了全炮系统射击过程的数值仿真.仿真结果表明,甲板刚度为影响炮口振动
传统的单时间窗车辆调度问题模型无法描述用户空闲时间分段可选的情况,为此需要建立多时间窗车辆调度问题模型.对多时间窗车辆调度问题进行研究,建立了问题的数学模型,并基于