本体推理机求解Mups的性能评测研究

来源 :计算机学报 | 被引量 : 0次 | 上传用户：say_8139

【摘要】

：

求解极小不可满足保持子术语集（Mups）是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个

【作者】

：

欧阳丹彤张瑜叶育鑫

【机构】

：

吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室

【出处】

：

计算机学报

【发表日期】

：

2017年6期

【关键词】

：

不一致术语集极小不可满足保持子术语集标准检查程序 MupsBen 人工智能 incoherent terminology minimal unsatisf

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

求解极小不可满足保持子术语集（Mups）是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出发,定义语义依赖度、语义簇、依赖度分布3个指标反映本体术语集的复杂程度;通过讨论不可满足概念数目、冲突公理集基数和冲突公理基数对Mups问题求解难易的影响,定义冲突公理集最大基数和冲突公理最大基数两个指标反映不一致本体术语集的数据复杂程度;基于这些复杂性指标,设计针对Mups问题的不一致本体数据标准测试集（Mups Benchmark,MupsBen）来评测Pellet、Her

其他文献

基础护理操作多媒体课件的编制

多媒体教学是以计算机为中心,能够处理多种教学媒体,实现人机信息交流的一种全新的教学手段,它为教育的发展注入了新的生机和活力.现把影像、图形、动画、声音及文字等多媒体

期刊

基础护理操作多媒体软件Auhorware计算机配置

大数据驱动的自适应路由服务定制机制

随着多种多样新型网络应用的涌现,传统的路由配置模式越来越难以适应用户多样化的数据通信需求.因此,需要依据用户对不同类型应用差异化的通信需求,在数据分组的传输路径上配置合适的路由功能,自适应地合成满足分组传输特性的路由服务,改善用户体验.根据由大数据带来的数据间关联关系新范式,文中试图从大量的应用通信流状态数据中,分析和获取用户体验与路由服务各属性之间的依赖关系,促进高效地实现路由服务的定制化.鉴于

期刊

路由服务自适应定制化大数据共赢博弈routing serviceadaptive customization big data win-wi

基于多核的细粒度并行的集合相似连接

相似连接是指在给定的两个数据集中,根据给定的相似性度量函数来计算数据之间的相似度,并找出所有相似度不小于给定阈值的数据对的操作.相似连接作为一个基本的操作,被广泛地

期刊

相似连接并行多核多线程数据划分similarity join parallel multicore multithread data part

基于子空间映射和一致性约束的匹配传播算法

该文提出了一种基于子空间映射和一致性非刚体变换的准稠密匹配传播算法.该算法从一组稀疏的种子匹配开始,迭代地在其周围寻找新的潜在匹配.与现有方法最大的不同在于,该文的方法使用一致性非刚体变换模型来描述两个扩展窗口之间的几何关系,而不是使用离散二维视差梯度模型或者局部平面仿射模型.在计算非刚体运动模型之前,扩展窗口内所有像素的空间坐标信息和特征信息都被映射到一个新的子空间中.这一新的数据表达方式可以提

期刊

图像匹配匹配传播准稠密子空间非刚体image matching match propagation quasi dense subspace

本体推理机求解Mups的性能评测研究

其他学术论文