您的位置： 专家智库 > >

秦学

作品数：1 被引量：4H指数：1
供职机构：武汉大学计算机学院软件工程国家重点实验室更多>>
发文基金：国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇网络
  • 1篇网络本体语言
  • 1篇描述逻辑
  • 1篇非单调推理
  • 1篇非一致性
  • 1篇本体
  • 1篇本体语言
  • 1篇OWL
  • 1篇OWL本体

机构

  • 1篇武汉大学

作者

  • 1篇丁松
  • 1篇唐胜群
  • 1篇张亮
  • 1篇刘坤
  • 1篇秦学

传媒

  • 1篇计算机工程与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
非一致OWL本体的推理方法研究被引量：4
2011年
针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题。并通过在非一致本体上的推理实验,验证了该类方法的有效性。
丁松唐胜群刘坤张亮秦学
关键词：本体非单调推理非一致性描述逻辑
全选 清除 导出
共1页<1>
聚类工具0