【摘 要】
：
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。
【基金项目】
：
广西自治区教育厅项目（200911LX444）
论文部分内容阅读
分析UML模型一致性检测的研究意义,以及UML类图推理的研究现状,提出一种基于OWL本体的UML类图推理方案。研究UML类图向OWL本体转换的映射规则,给出UML类图包含关系、可满足性、等价关系和相离关系的判断方法及其推理规则。利用Jena推理机制实现了UML类图包含关系、可满足性、等价关系和相离关系的推理。
其他文献
针对分布式监控系统的样本库同步机制提出一种基于流行病理论的样本信息层次化扩散算法。样本信息在扩散过程中模仿流行病在生物群体中的传播方式。扩散分两个阶段,其一是信息以改进的Rumor Mongering方式在系统内进行扩散;其二是采用Anti-entropy方式补充各节点未收到的信息。该同步机制充分考虑了分布式监控节点的层次性、簇集性,为样本信息同步提供统计意义上的可靠性保证。最后,通过仿真验证了理
我国甲骨文时代,文字刻在龟甲或兽骨上,是用“片”来作单位的。从周、秦到汉,字大都刻在竹片和木条上,竹片称简,木条称牍。
研究了不锈钢AISI304和1Cr18Ni9Ti在几种酸溶液中的腐蚀特征.这两种不锈钢在HNO3、H2SO4、H3PO4溶液中腐蚀轻微,主要是晶间腐蚀;而在HCl溶液中腐蚀严重,以点蚀为主.不锈钢AIS
动物疫病一直是影响我国畜牧业发展的一种灾害性因素,制约着畜牧业健康稳定发展,尽管我国不断加大动物疫病的防治力度,制定了动物疫病防治的法律法规,提高了动物疫病防治的科
针对三维模型语义检索应用,提出一种三维模型语义自动标注方法,建立三维模型内容特征和语义特征之间的映射关系。首先,利用基于深度信息的特征提取方法计算三维模型形状特征描述符,在单位立方体的六个面上正交投影后获取六幅深度缓存图像,提取图像二维傅立叶变换后的270维低频系数作为三维模型内容特征。其次,针对语义词汇之间相似度计算需要,提出一种语义相似度计算方法,采用本体层次结构的深度、宽度、同义词集密度信息
2017年2月15日，中一汽保集团与钛合兄弟智能科技（北京）有限公司在盐城驿都大酒店会议中心举行关于环保智能项目的合作签约。中共阜宁县委书记顾云岭、江苏省盐城技师学院党委书
2015中国汽车零部件产业发展论坛暨第12届全国百家优秀汽车零部件供应商颁奖典礼,于12月3日在上海国际会展中心举行。会议以新趋势、新挑战、新机遇为主题,来自汽车行业的领
<正> 洋葱是近几年我省低热河谷地带栽培的主要蔬菜品种之一。而地膜栽培,能大幅度提高洋葱产量。但在我省低热河谷地区,由于冬季气候温暖,加上盖膜的影响,杂草大量发生,薅锄
近年,网络教育在我国如火如荼地发展起来,目前,我国的网络大学生已经有近30万人。上网上大学,拿正式文凭,这已不再是一个遥远的梦想,那么作为普通考生,怎样报考网上大学,获得