首页 → 数学
   首页 → 物理学
   首页 → 力学

ELP: OWL 2 的可跟踪规则

ELP: Tractable Rules for OWL 2
课程网址: http://videolectures.net/iswc08_krotzsch_elptr/  
主讲教师: Markus Krötzsch
开课单位: 应用信息与形式描述方法研究所;卡尔斯鲁厄技术研究所
开课时间: 2008-11-24
课程语种: 英语
中文简介:
我们引入ELP作为SemanticWeb规则语言（SWRL）的可判断片段，它承认多项式时间推理。 ELP基于易处理描述逻辑EL，并且包含针对该逻辑的最近提出的DL规则的扩展概念。因此，ELP扩展了EL，它具有由即将发布的WOL 2引入的许多功能，例如不相交角色，局部反射性，某些范围限制以及通用角色。我们提出了基于ELP到Datalog的转换的推理算法，这种转换也使得无缝将DL saferule整合到ELP中。虽然DL安全规则的推理已经非常难以处理，但我们表明，基于描述逻辑编程（DLP）片段ofWLL 2的DL安全规则可以在ELP中被接纳而不会丢失易处理性。
课程简介: We introduce ELP as a decidable fragment of the Semantic Web Rule Language (SWRL) that admits reasoning in polynomial time. ELP is based on the tractable description logic EL++, and encompasses an extended notion of the recently proposed DL rules for that logic. Thus ELP extends EL++ with a number of features introduced by the forthcoming OWL 2, such as disjoint roles, local reflexivity, certain range restrictions, and the universal role.We present a reasoning algorithm based on a translation of ELP to Datalog, and this translation also enables the seamless integration of DL-safe rules into ELP.While reasoning with DL-safe rules as such is already highly intractable, we show that DL-safe rules based on the Description Logic Programming (DLP) fragment of OWL 2 can be admitted in ELP without losing tractability.
关 键 词: 规则语言; 可判断片段; 多项式时间推理
课程来源: 视频讲座网
最后编审: 2019-04-28：cwx
阅读次数: 104

纠错/补充/评论/留言
评论/留言 纠错/补充
验证算术题： 5 + 9 =