本体开发日记05-努力理解SWRL(中)

本文档介绍了SWRL(语义Web规则语言)的提议,它是OWL DL和OWL Lite子语言与RuleML子语言的结合。SWRL允许将类似Horn的规则与OWL知识库集成,提供了高级抽象语法和模型理论语义。内容包括抽象语法、XML和RDF的具体语法,以及多个示例规则,展示了如何在知识图谱和人工智能应用中使用SWRL。
摘要由CSDN通过智能技术生成

提示:http://www.daml.org/rules/proposal/
十分感谢360的网页翻译插件!


Abstract

本文档包含基于 OWL Web 本体语言的 OWL DL 和 OWL Lite 子语言与规则标记语言的一元/二进制数据日志 RuleML 子语言的组合的语义 Web 规则语言 (SWRL) 的提议。SWRL 包括 OWL DL 和 OWL Lite 子语言中类似 Horn 的规则的高级抽象语法。给出了模型论语义,以提供 OWL 本体的形式含义,包括以这种抽象语法编写的规则。还给出了基于 RuleML 和 OWL XML Presentation Syntax 的 XML 语法以及基于 OWL RDF/XML 交换语法的 RDF 具体语法,以及几个示例。


提示:http://www.daml.org/rules/proposal/issuesList.html

一、简介

本文档包含基于OWL Web 本体语言的 OWL DL 和 OWL Lite 子语言与规则标记语言的一元/二进制数据日志 RuleML 子语言的 组合的语义 Web 规则语言 (SWRL) 的提议 。该提案扩展了 OWL 公理集以包含类似 Horn 的规则。因此,它使类似 Horn 的规则能够与 OWL 知识库相结合。提供了高级抽象语法,它扩展了 OWL 语义和抽象语法文档 [ OWL S&AShttp://www.daml.org/rules/proposal/#owl-sas ] 中描述的 OWL 抽象语法。还给出了 OWL 模型理论语义的扩展,以提供 OWL 本体的正式含义,包括以这种抽象语法编写的规则。
提议的规则是先行词(主体)和结果(头部)之间的一种暗示形式。预期的含义可以理解为:只要前件中指定的条件成立,那么后件中指定的条件也必须成立。
前件(主体)和后件(头)均由零个或多个原子组成。一个空的先行词被视为微真(即每个解释都满足),因此每个解释也必须满足后件;一个空的结果被视为微假(即,任何解释都不满足),因此前件也不能被任何解释满足。多个原子被视为连词。请注意,带有连接结果的规则可以很容易地转换(通过 Lloyd-Topor 转换 [ Lloyd87http://www.daml.org/rules/proposal/#Lloyd87 ])为多个规则,每个规则都有一个原子结果。
这些规则中的原子可以是 C(x)、P(x,y)、sameAs(x,y) 或 differentFrom(x,y) 的形式,其中 C 是 OWL 描述,P 是 OWL 属性,而 x ,y 是变量、OWL 个体或 OWL 数据值。很容易看出,当以这种方式扩展时,OWL DL 变得不可判定,因为规则可用于模拟角色价值映射 [ Schmidt-Schauß89http://www.daml.org/rules/proposal/#Schmidt-Schauss89 ]。
还基于 RuleML 和 OWL XML 表示语法为这些规则提供了 XML 语法。此外,还提出了基于 OWL RDF/XML 交换语法的 RDF 具体语法。规则语法通过几个运行示例进行了说明。最后,我们给出了使用建议和注意事项。

  • 4
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值