• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Summer School on Reasoning Web; 20060904-08; Lisbon(PT) >Reasoning with Rules and Ontologies
【24h】

Reasoning with Rules and Ontologies

机译：用规则和本体论进行推理

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

For realizing the Semantic Web vision, extensive work is underway for getting the layers of its conceived architecture ready. Given that the Ontology Layer has reached a certain level of maturity with W3C recommendations such as RDF and the OWL Web Ontology Language, current interest focuses on the Rules Layer and its integration with the Ontology Layer. Several proposals have been made for solving this problem, which does not have a straightforward solution due to various obstacles. One of them is the fact that evaluation principles like the closed-world assumption, which is common in rule languages, are usually not adopted in ontologies. Furthermore, naively adding rules to ontologies raises undecidability issues. In this paper, after giving a brief overview about the current state of the Semantic-Web stack and its components, we will discuss nonmonotonic logic programs under the answer-set semantics as a possible formalism of choice for realizing the Rules Layer. We will briefly discuss open issues in combining rules and ontologies, and survey some existing proposals to facilitate reasoning with rules and ontologies. We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set semantics. We will further discuss a generalization of dl-programs, viz. HEX-programs, which offer access to different ontologies as well as higher-order language constructs.
机译：为了实现语义Web愿景，正在进行大量工作以准备其构想架构的各个层。鉴于本体层已经达到W3C建议（例如RDF和OWL Web本体语言）的成熟度，当前的关注点集中在规则层及其与本体层的集成上。已经提出了用于解决该问题的一些建议，由于各种障碍，这些建议没有直接的解决方案。其中之一是这样的事实，即规则语言中常见的诸如封闭世界假设之类的评估原则通常不会在本体中采用。此外，天真地将规则添加到本体会引发不确定性问题。在本文中，在简要概述了语义Web堆栈及其组件的当前状态之后，我们将讨论在答案集语义下的非单调逻辑程序，这是实现规则层的一种可能的形式化选择。我们将简要讨论将规则和本体组合在一起的未解决问题，并调查一些现有建议以促进使用规则和本体进行推理。然后，我们将重点介绍描述逻辑程序（简称dl程序），该程序基于答案集语义实现现有推理引擎支持的规则和本体的透明集成。我们将进一步讨论dl程序的推广。 HEX程序，可以访问不同的本体以及高阶语言构造。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号