【摘 要】
：
近年来，本体模块化研究受到研究者的普遍关注。本文全面综述了本体模块化研究的最新进展，包括本体模块化特征、形式化描述语言及构建与选取方法。在形式化描述方面，主要研究成果
【机 构】
：
中国科学院研究生院,中国科学院国家科学图书馆
论文部分内容阅读
近年来，本体模块化研究受到研究者的普遍关注。本文全面综述了本体模块化研究的最新进展，包括本体模块化特征、形式化描述语言及构建与选取方法。在形式化描述方面，主要研究成果有分布式描述逻辑、￡一连接及基于包的描述逻辑，比较分析了它们的特点和关联，讨论了有待进一步解决的问题。在构建和选取方面，介绍了模块化设计模式、模块化划分与抽取方法的最新研究成果。
其他文献
2004年开始执行的新出口退税政策理顺了政府和市场之间的关系，解决了政府长期拖欠企业退税的问题，而随之又出现了各级政府之间关系如何理顺的新问题。实行不久的出口退税方案面
计算机技术在农业机械化中的应用将有利于精准农业的实现,提高农产品的产量和质量,在保障农业生产的同时实现最大限度的环保。计算机技术在农业机械化中涉及到播种、施肥、灌
<正> 四、弗勒杜茨—纳里莫夫辑曲线增长模型文献按指数规律增长一般是在10～15年期间所统计的数据的基础上得到的结论。实际上文献的增长是分阶段的,即使在10～15年的时间内,也
从原核生物的细菌到真核生物的人类，当接触高温或其他应激因素时，可以合成一组被称为热应激蛋白(heat stress proteins，HSPs)的蛋白质。HSPs具有使细胞或生物从各种应激中恢复和
“珠三角”地区在物流园区建设方面起步较早，取得了一定的成绩和经验。但在政府宏观调空方面还存在主观上追求政绩、一些物流园区建设与实际需求相脱节、物流园区之间缺乏相互
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
为了解决滑板车动力、减小占据空间和携带便利性的问题,引入现代T R IZ创新理论的特性传递方法;将滑板车设计为电动驱动、可折叠、拉杆携带的新型倒三轮电动滑板车。实践表明
采用CHI660D电化学工作站研究304、316L、2205、2507不锈钢在模拟塔里木油田复杂腐蚀介质中的电化学腐蚀性能,并通过扫描电子显微镜(SEM)对其表面的腐蚀产物膜进行对比分析.
提出了一种适应于二值栅格地图版权保护的数字水印算法。首先,对二值栅格地图数据水印特征进行了分析,在此基础上,结合人类视觉系统特性,基于二值栅格地图奇数分块区域内部像素之间、分块区域之间的相关关系在几何变换过程中的不变性,将无意义水印信息通过量化分块区域内像素的方式嵌入二值地图中。不同分块大小的二值栅格地图水印算法具有不同的性能,对5×5,7×7和9×9分块的水印算法进行了比较分析。结果表明,9×9
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield