Virtuoso OWL 2 DL Reasoning

Question

I have a Virtuoso server 7.20.3217 where I upload my data. According to Virtuoso documentation, Virtuoso supports basic owl reasoning such as rdfs:subClassOf or rdfs:subPropertyOf .

What should I do in order to enable OWL 2 DL reasoning? Or even support SWRL rules? Is there any chance of incorporating this capabilities to Virtuoso? For example by incorporating an external reasoner like Pellet?

Answer 1

Virtuoso 7.x does not support SWRL nor fully support OWL 2 DL (though it can be made to support a subset of OWL predicates ). (Also see 1 , 2 .)

Virtuoso 8.x implements SPIN, into which SWRL can be translated, and the same subset of OWL predicates, among other more complex reasoning.

See Creating Custom Inference Rules using the SPIN Vocabulary and Virtuoso 8.0 and SWRL and Virtuoso , for starters.

User documentation is in progress; you can get assistance via the Virtuoso Users mailing list or the OpenLink Support Case System .

Answer 2

To provide some important clarity to this matter regarding Virtuoso and Inference Rules, I would like to add the following:

Virtuoso offers a number of built-in inference rules based on entity relationship type semantics described in both the RDF Schema (rdfs:subClassOf and rdfs:subPropertyOf) and OWL Ontologies (owl:sameAs, owl:inverseOf, owl:inverseFunctionalProperty, owl:equivalentClass, owl:equivalentProperty, and owl:SymmetricProperty).

Starting with version 8.1 it also includes the creation of Custom Inference Rules using SPARQL CONSTRUCT as the Rules Langauge, courtesy of terms from the SPIN Ontology.

Thus, if you want additional relationship type semantics informing desired reasoning and inference eg, as per OWL DL or anything else, all you have to do is create a custom inference rule.

Links

1. Detailed post about Virtuoso Reasoning and Inference Capabilities

I hope this clarifies this important issue?