...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Knowledge and Information Systems >Hybrid rules with well-founded semantics
【24h】

Hybrid rules with well-founded semantics

机译：具有良好语义的混合规则

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

摘要

A general framework is proposed for integration of rules and external first-order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program consists of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized in description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers (such as ontology reasoners). Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics and for completeness of the operational semantics are given.
机译：提出了用于规则和外部一阶理论整合的通用框架。它基于普通逻辑程序的良好语义，并受到约束逻辑程序设计（CLP）和逻辑程序的构造式否定的启发。混合规则是在主体中带有约束的普通从句；约束是外部理论语言中的某些公式。混合程序由一组混合规则和一个外部理论组成。通过指定外部理论的类和约束的类来获得框架的实例。一个示例实例是将（非析取的）Datalog与以描述逻辑形式化的本体进行集成。本文定义了混合程序的声明性语义和目标驱动的形式操作语义。后者可以看作是SLS分辨率的概括。它为将Prolog与约束求解器（例如本体推理器）相结合的混合实现提供了基础。操作语义的合理性得到了证明。给出了决定性语义的可判定性和操作语义的完整性的充分条件。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号