...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Enterprise information systems >An expressive and tractable rule-based description language
【24h】

An expressive and tractable rule-based description language

机译：一种可表达且易于处理的基于规则的描述语言

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

摘要

is a rule language introduced by Nguyen, Nguyen, and Szaas for the Semantic Web. It has a PTime data complexity and is more expressive than Horn-. These rule languages, however, do not allow PDL-like role constructors (i.e., union, sequential composition, the reflexive-transitive closure and the test operator). Using the transitive closure of a role is not the same as using a transitive role that is a superrole of . Furthermore, the test operator together with the other PDL-like role constructors would allow users to express sophisticated concepts. In this paper, we extend with PDL-like role constructors to obtain the rule language . We modify the algorithm given by Nguyen, Nguyen, and Szaas (2015) to obtain another one that checks satisfiability of a knowledge base in instead of . The resulting algorithm also has a PTime data complexity and is therefore tractable.
机译：是Nguyen，Nguyen和Szaas为语义网引入的一种规则语言。它具有PTime数据复杂性，并且比Horn-更具表现力。但是，这些规则语言不允许类似PDL的角色构造函数（即，并集，顺序组成，自反传递闭合和测试运算符）。使用角色的传递闭包与使用角色的传递角色不同。此外，测试操作员与其他类似PDL的角色构造函数一起使用户可以表达复杂的概念。在本文中，我们扩展了类似PDL的角色构造函数以获得规则语言。我们修改了Nguyen，Nguyen和Szaas（2015）给出的算法，以获取另一种检查而不是的知识库的可满足性的算法。所得算法还具有PTime数据复杂性，因此易于处理。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号