Some time ago I created a Java application which uses an ontology This ontology is stored in Virtuoso and is being accessed using Jena. In Jena I created an InfModel using the virtuoso triple store and a text file containing rules.
This allowed usage of these rules in the Sparql queries. These Jena rules were quite simple but effective (see http://jena.apache.org/documentation/inference/) and also provide explain functionality. I searched for a similar option in virtuosos but was unable to find it. I did find some pages concerning reasoning with virtuoso but I only found some vague pages.
Does someone have a plain simple example (simple just like Jena) ?