Virtuoso OWL 2 深度学习推理
Virtuoso OWL 2 DL Reasoning
我有一个 Virtuoso 服务器 7.20.3217，我可以在其中上传数据。根据 Virtuoso 文档，Virtuoso 支持基本的 owl 推理，例如 rdfs:subClassOf 或 rdfs:subPropertyOf.
我应该怎么做才能启用OWL 2 DL推理？甚至支持 SWRL 规则？是否有机会将此功能整合到 Virtuoso 中？例如，通过结合外部推理器，如 Pellet?
Virtuoso 7.x 不支持 SWRL 也不完全支持 OWL 2 DL（尽管 it can be made to support a subset of OWL predicates). (Also see 1, 2。）
Virtuoso 8.x 实现了 SPIN，SWRL 可以转换成 SPIN，OWL 谓词的相同子集，以及其他更复杂的推理。
初学者请参阅 Creating Custom Inference Rules using the SPIN Vocabulary and Virtuoso 8.0 and SWRL and Virtuoso。
用户文档制作中；您可以通过 Virtuoso Users mailing list or the OpenLink Support Case System.
获得帮助
为了澄清有关 Virtuoso 和推理规则的问题，我想添加以下内容：
Virtuoso 提供了许多基于 RDF 模式（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 或其他任何东西，您所要做的就是创建一个自定义推理规则。
链接
我希望这能澄清这个重要问题？
我有一个 Virtuoso 服务器 7.20.3217，我可以在其中上传数据。根据 Virtuoso 文档，Virtuoso 支持基本的 owl 推理，例如 rdfs:subClassOf 或 rdfs:subPropertyOf.
我应该怎么做才能启用OWL 2 DL推理？甚至支持 SWRL 规则？是否有机会将此功能整合到 Virtuoso 中？例如，通过结合外部推理器，如 Pellet?
Virtuoso 7.x 不支持 SWRL 也不完全支持 OWL 2 DL（尽管 it can be made to support a subset of OWL predicates). (Also see 1, 2。）
Virtuoso 8.x 实现了 SPIN，SWRL 可以转换成 SPIN，OWL 谓词的相同子集，以及其他更复杂的推理。
初学者请参阅 Creating Custom Inference Rules using the SPIN Vocabulary and Virtuoso 8.0 and SWRL and Virtuoso。
用户文档制作中；您可以通过 Virtuoso Users mailing list or the OpenLink Support Case System.
获得帮助为了澄清有关 Virtuoso 和推理规则的问题，我想添加以下内容：
Virtuoso 提供了许多基于 RDF 模式（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 或其他任何东西，您所要做的就是创建一个自定义推理规则。
链接
我希望这能澄清这个重要问题？