徐贵红

作品数：2被引量：8H指数：1
导出分析报告
供职机构：中国科学院研究生院更多>>
发文主题：一阶逻辑本体可满足性描述逻辑语义网更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
语义网的一阶逻辑推理技术支持被引量：8
《软件学报》2008年第12期3091-3099,共9页徐贵红 张健 
国家自然科学基金No.60673044~~
研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定...
关键词：语义网推理 一阶逻辑 描述逻辑 本体 可满足性 
基于约束的主动规则终止性分析
《计算机研究与发展》2006年第5期894-900,共7页徐贵红 张健 
国家自然科学基金项目(60125207;60421001)~~
终止性是主动规则所需的最重要的一个性质,但规则的终止性检查通常是不可判定的.已有的静态分析方法非常保守,SQL3标准也没有提供保证终止的机制,所以商业数据库限制规则级联触发的最大次数确保终止.由于规则可看成数据库状态转换器,而...
关键词：主动规则 终止性 数据库状态 约束 约束求解 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部