I’m looking for some technical information about the type of reasoning supported in virtuoso: backward or /and forward.
In some articles, I find that Virtuoso already supports both modes but in the official documentation “SPARQL and Scalable Inference on Demand
By Orri Erling and Ivan Mikhailov” It is indicated that the combination of the two modes is planned for the future.
Could you please give me some detailed information about the support of these modes and the exactly RDF/OWL axioms considered by Virtuoso for inference.
Thinks in advance.