您的位置: 专家智库 > >

国家自然科学基金(60973003)

作品数:2 被引量:0H指数:0
相关作者:肖国辉张小旺林作铨更多>>
相关机构:北京大学安徽大学维也纳技术大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇语义互联
  • 1篇语义互联网
  • 1篇联网
  • 1篇互联
  • 1篇SEMANT...
  • 1篇RULE

机构

  • 2篇安徽大学
  • 2篇北京大学
  • 1篇维也纳技术大...

作者

  • 2篇张小旺
  • 2篇肖国辉
  • 1篇林作铨

传媒

  • 1篇计算机科学
  • 1篇Journa...

年份

  • 1篇2011
  • 1篇2009
2 条 记 录,以下是 1-2
排序方式:
一种基于符号变换的描述逻辑ALC超协调推理算法
2011年
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
张小旺肖国辉
关键词:语义互联网
Updating ontologies and general rules
2009年
Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea "abandoning the old for the new", the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.
张小旺肖国辉林作铨
关键词:RULE
共1页<1>
聚类工具0