How to exploit RDF Schema and OWL Inference Rules with minimal effort? When you install Virtuoso, its highly scalable reasoning and inference capabilities may not be obvious. Typical cases involve using rdfs:subClassOf predicates in queries, and wondering why reasoning hasn't occurred in line with the semantics defined in RDF Schema. The same can occur when using more sophisticated OWL predicates such as owl:equivalentProperty, owl:equivalentClass, owl:sameAs, owl:SymmetricalProperty, owl:inverseOf, etc. Virtuoso's inference rule processing is implemented in a loosely coupled manner, allowing users to conditionally apply inference context (via rules) to SPARQL queries. These rules must generally be created as described in the product docs. The Virtuoso Faceted Browser VAD package delivers a shortcut to setting up and exploring RDF Schema and OWL reasoning. Related How the power of OWL based inference enables us exploit the power of Linked Vocabularies? Virtuoso Documentation on Inference Rules & Reasoning Installation and Configuration of the Virtuoso Faceted Browser VAD package Virtuoso Facets Web Service