本体抽取

作品数：13被引量：31H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：苗壮张亚非陆建江李涛王克宏更多>>
相关机构：解放军理工大学大连海事大学东南大学中国科学院更多>>
相关期刊：《哈尔滨商业大学学报（自然科学版）》《图书馆学研究》《计算机系统应用》《科技风》更多>>
相关基金：国家自然科学基金辽宁省科学技术基金陕西省科技攻关计划广西可信软件重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于约束依赖性分析的RDFS模式抽取方法被引量：3
《软件学报》2020年第2期344-355,共12页赵晓非 史忠植 田东平 刘建伟 
国家重点基础研究发展计划(973)(2013CB329502);国家自然科学基金(61035003);江苏省计算机信息处理技术重点实验室开放基金(KJS1737);陕西省科技厅工业攻关项目(2018GY-037).
为了验证RDFS(resource description framework schema)本体的正确性所执行的推理是一项计算开销很大的任务,该任务在附加约束存在的条件下变得更加复杂.提出了一种旨在不改变推理结果的前提下,对RDFS模式进行抽取的方法.该方法基于对...
关键词：RDFS(resource DESCRIPTION framework schema) 约束 本体抽取 依赖性分析 
描述逻辑εL的二阶线性推理机制被引量：3
《软件学报》2017年第2期216-233,共18页王驹 陈光喜 余泉 
国家自然科学基金(61463044;61363030);广西自然科学基金(2013GXNSFAA019330);广西可信软件重点实验室开放基金;桂林电子科技大学计算机软件创新团队基金(kx201419);广东省数学教育工程技术研究中心开放基金~~
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数...
关键词：描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部