Virtuoso OWL 2 深度学习推理

Question

我有一个 Virtuoso 服务器 7.20.3217，我可以在其中上传数据。根据 Virtuoso 文档，Virtuoso 支持基本的 owl 推理，例如 rdfs:subClassOf 或 rdfs:subPropertyOf。

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

Answer 1

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 支持案例系统 获得帮助。

Answer 2

为了澄清有关 Virtuoso 和推理规则的问题，我想补充以下内容：

Virtuoso 提供了许多基于 RDF 模式（rdfs:subClassOf 和 rdfs:subPropertyOf）和 OWL 本体（owl:sameAs、owl:inverseOf、owl:inverseFunctionalProperty、owl: equalClass、owl:equivalentProperty 和 owl:SymmetricProperty）。

从版本 8.1 开始，它还包括使用 SPARQL CONSTRUCT 作为规则语言创建自定义推理规则，这得益于 SPIN 本体的术语。

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

链接

1. 有关 Virtuoso 推理和推理能力的详细文章

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

Answer 3

2024年还是这样吗？

Virtuoso 中现在可以使用原生 OWL-DL 推理吗？

谢谢！