• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic SHQ
【24h】

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic SHQ

机译：具有限定数量限制的实用推理：用于描述逻辑SHQ的混合Abox演算

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

摘要

This article presents a hybrid Abox tableau calculus for SHQ which extends the basic description logic ACC with role hierarchies, transitive roles, and qualified number restrictions. The prominent feature of our hybrid calculus is that it reduces reasoning about qualified number restrictions to integer linear programming. The calculus decides SHQ Abox consistency w.r.t. a Tbox containing general axioms. The presented approach ensures a more informed calculus which adequately handles the interaction between numerical and logical restrictions in SHQ concept and individual descriptions. A prototype reasoner for deciding ALCHQ concept satisfiability has been implemented. An empirical evaluation of our hybrid reasoner and its integrated optimization techniques for a set of synthesized benchmarks featuring qualified number restrictions clearly demonstrates the effectiveness of our hybrid calculus.
机译：本文介绍了一种用于SHQ的混合Abox表格演算，它使用角色层次结构，传递角色和限定的数量限制扩展了基本描述逻辑ACC。我们的混合演算的突出特点是，它减少了对整数线性规划的合格数限制的推理。演算决定了SHQ Abox的一致性w.r.t.包含一般公理的Tbox。所提出的方法确保了更充分的演算，可以充分处理SHQ概念和个人描述中的数字和逻辑限制之间的相互作用。用于确定ALCHQ概念可满足性的原型推理机已实现。对我们的混合推理机及其集成优化技术进行实证评估后，得出一组具有限定数量限制的综合基准，这清楚地证明了我们的混合演算的有效性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号