owl - 使用 OWLAPI 对 SWRL 规则进行 OWL-XML 序列化

Question

OWLAPI 用来序列化 SWRL 规则的 OWL-XML 序列化格式在哪里指定？例如，通过使用 Protege 序列化一个简单的规则（据我所知，它使用 OWLAPI），我得到以下代码：

<DLSafeRule>...
        <ClassAtom>
            <Class IRI="#Person"/>
            <Variable IRI="x"/>
        </ClassAtom>
</DLSafeRule>

这与 SWRL 规范 [1] 不同：

<swrlx:classAtom> 
  <owlx:Class owlx:name="Person" />
  <ruleml:var>x1</ruleml:var>
</swrlx:classAtom>

并根据 [2] 中介绍的建议：

<owl:ClassAtom>
  <owl:Class IRI="#Person"/>
  <owl:IndividuialVariable IRI="#x"/>
</owl:ClassAtom>

score 2 · Accepted Answer

据我所知，您要的文件是这个：

请注意，OWL/XML 和 RDF/XML 是非常不同的序列化格式。RDF/XML 是 W3C 标准，而 OWL/XML 不是。

编辑：以下论文由 Matthew Horridge 撰写，他是 OWL API 和当前 Protege 代码库的主要作者之一，并指出了我不知道的 W3C 建议。

该文档中没有提到 SWRL，因此从技术上讲，在 OWL/XML 中没有关于 SWRL 输出的规范。但附录https://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/#Appendix:_The_Derivation_from_the_Functional_Syntax_.28Informative.29中的注释描述了标签的设计方式；因此，使用 AKSW 关于功能语法标签的理论以相同的方式简单翻译是有意义的。

1 回答 1