>我有一个Virtuoso服务器7.20.3217，我在那里上传我的数据。根据 Virtuoso 文档，Virtuoso 支持基本的猫头鹰推理，例如rdfs：subClassOf 或 rdfs：subPropertyOf。
我应该怎么做才能启用OWL2 DL推理？甚至支持 SWRL 规则？有没有机会将此功能整合到Virtuoso中？例如，通过结合像 Pellet 这样的外部推理器？
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支持案例系统获得帮助。
为了澄清有关大师和推理规则的问题，我想补充以下内容：
Virtuoso提供了许多内置的推理规则，这些规则基于RDF模式(rdfs：subClassOf和rdfs：subPropertyOf)和OWL本体(owl：sameAs，owl：inverseOf，owl：inverseFunctionalProperty，owl：equivalentClass，owl：equivalentProperty和owl：SymmetricProperty)中描述的实体关系类型语义。
从版本 8.1 开始，它还包括使用 SPARQL CONSTRUCT作为规则语言创建自定义推理规则，由 SPIN 本体中的术语提供。
因此，如果您想要额外的关系类型语义来告知所需的推理和推理，例如，根据 OWL DL 或其他任何东西，您所要做的就是创建自定义推理规则。
链接
- 关于精湛推理和推理能力的详细文章
我希望这能澄清这个重要问题？