Virtuoso OWL 2 DL推理

Question

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

为了启用OWL 2 DL推理，我该怎么做？甚至支持SWRL规则？有没有机会将这些功能融入Virtuoso？例如，通过结合像Pellet这样的外部推理器？

Answer 1

Virtuoso 7.x不支持SWRL，也不支持OWL 2 DL（尽管it can be made to support a subset of OWL predicates）。 （另请参阅1，2。）

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

首先是Creating Custom Inference Rules using the SPIN Vocabulary and Virtuoso 8.0和SWRL and Virtuoso。

用户文档正在进行中;您可以通过Virtuoso Users mailing list或OpenLink Support Case System获得帮助。

Answer 2

为了对此问题提供一些重要的清晰度，我想补充以下内容：

Virtuoso基于RDF Schema（rdfs：subClassOf和rdfs：subPropertyOf）和OWL Ontologies（owl：sameAs，owl：inverseOf，owl：inverseFunctionalProperty， owl：equivalentClass，owl：equivalentProperty和owl：SymmetricProperty）。

从版本8.1开始，它还包括使用SPARQL CONSTRUCT作为“规则语言”来创建自定义推理规则，这要受SPIN本体论中术语的欢迎。

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

链接

1. Detailed post about Virtuoso Reasoning and Inference Capabilities

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