本体开发日记05-努力理解SWRL（中）

提示：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 具体语法。规则语法通过几个运行示例进行了说明。最后，我们给出了使用建议和注意事项。

二、Abstract Syntax抽象语法