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