0

我有一个 Virtuoso 服务器 7.20.3217 我上传我的数据。根据 Virtuoso 文档，Virtuoso 支持基本的猫头鹰推理，例如rdfs:subClassOf或rdfs:subPropertyOf。

我应该怎么做才能启用 OWL 2 DL 推理？甚至支持 SWRL 规则？有没有机会将此功能整合到 Virtuoso 中？例如，通过合并像 Pellet 这样的外部推理器？

4

2 回答 2

2

Virtuoso 7.x 不支持 SWRL 也不完全支持 OWL 2 DL（尽管它可以支持 OWL 谓词的子集）。（另见1、2。）

Virtuoso 8.x 实现了 SPIN，可以将 SWRL 翻译成 SPIN，以及 OWL 谓词的相同子集，以及其他更复杂的推理。

对于初学者，请参阅使用 SPIN 词汇表和 Virtuoso 8.0以及SWRL 和 Virtuoso创建自定义推理规则。

用户文档正在进行中；您可以通过Virtuoso 用户邮件列表或OpenLink 支持案例系统获得帮助。

于 2018-05-16T20:42:37.953 回答
1

为了就有关 Virtuoso 和推理规则的问题提供一些重要的清晰度，我想添加以下内容：

Virtuoso 基于 RDF Schema（rdfs:subClassOf 和 rdfs:subPropertyOf）和 OWL 本体（owl:sameAs、owl:inverseOf、owl:inverseFunctionalProperty、owl:equivalentClass）中描述的实体关系类型语义提供了许多内置推理规则、owl:equivalentProperty 和 owl:SymmetricProperty)。

从版本 8.1 开始，它还包括使用 SPARQL CONSTRUCT 作为规则语言创建自定义推理规则，由 SPIN Ontology 提供。

因此，如果您想要额外的关系类型语义来告知所需的推理和推理，例如，根据 OWL DL 或其他任何内容，您所要做的就是创建自定义推理规则。

链接

  1. 关于 Virtuoso 推理和推理能力的详细帖子

我希望这能澄清这个重要问题？

于 2018-06-22T03:18:28.957 回答