• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Principles of Knowledge Representation and Reasoning(KRamp;R); 20060602-05; Lake District of the United Kingdom(GB) >The Even More Irresistible SROIQ
【24h】

The Even More Irresistible SROIQ

机译：更不可抗拒的SROIQ

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

摘要

We describe an extension of the description logic underlying OWL-DL, SHOIN, with a number of expressive means that we believe will make it more useful in practice. Roughly speaking, we extend SHOIN with all expressive means that were suggested to us by ontology developers as useful additions to OWL-DL, and which, additionally, do not affect its decidability and practicability. We consider complex role inclusion axioms of the form R ο S is contained in R or S o R is contained in R to express propagation of one property along another one, which have proven useful in medical terminologies. Furthermore, we extend SHOIN with reflexive, antisymmetric, and irreflexive roles, disjoint roles, a universal role, and constructs exist R.Self, allowing, for instance, the definition of concepts such as a "narcist". Finally, we consider negated role assertions in Aboxes and qualified number restrictions. The resulting logic is called SROIQ. We present a rather elegant tableau-based reasoning algorithm: it combines the use of automata to keep track of universal value restrictions with the techniques developed for SROIQ. The logic SROIQ has been adopted as the logical basis for the next iteration of OWL, OWL 1.1.
机译：我们描述了OWL-DL，SHOIN基础描述逻辑的扩展，我们相信它具有许多表达方式，在实践中将使其更加有用。粗略地说，我们将本体开发人员建议给我们的所有表达方式扩展为SHOIN，作为对OWL-DL的有用补充，此外，它不影响其确定性和实用性。我们认为R包含R或S或R包含S o R形式的复杂角色包含公理，以表达一种特性沿着另一种特性的传播，这在医学术语中已被证明是有用的。此外，我们将SHOIN扩展为具有反身，反对称和不反身的角色，不相交的角色，通用角色，并且存在R.Self的结构，例如，允许定义“自恋者”之类的概念。最后，我们考虑Aboxes中的否定角色断言和限定数量的限制。产生的逻辑称为SROIQ。我们提出了一种基于表格的相当优雅的推理算法：它将自动机的使用与为SROIQ开发的技术结合起来，以跟踪通用值限制。逻辑SROIQ已被用作OWL的下一次迭代（OWL 1.1）的逻辑基础。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号