旋转

SWRL:结合OWL和RuleML的语义Web规则语言。本文档包含一个语义Web规则语言(SWRL)的建议,该语言基于owlweb本体语言的owldl和owllite子语言与规则标记语言的一元/二进制数据日志RuleML子语言的组合。SWRL在owldl和owllite子语言中都包含了一个用于Horn-like规则的高级抽象语法。给出了一个模型论语义,为OWL本体(包括用这种抽象语法编写的规则)提供形式化的意义。给出了基于OWL的XML/XML语法和基于OWL/XML的具体语法。