This Guide contains ** subClassOf** oriented subsumption examples and examples for Transitive Options, e.g., scoping the reasoning to layers in the hierarchy.

- Transitivity: "Find all the people known by Kingsley Idehen to a depth between 1 and 4 applications of the sub-query"
- Transitivity: Variant II: "Find all the people known by Kingsley Idehen to a depth between 2 and 4 applications of the subquery"
- Transitivity with graph: "Find how two people know each other and what graphs are involved in the connection"
- Transitivity with sameAs: "Find all graphs that contain owl:sameAs for "New York"
- Transitivity with sameAs and graph: "Find all graphs that contain owl:sameAs for "New York"
- Transitive Closure via Graph Path Expressions: TBox: "Subsumption Using Transitivity Clause"
- Transitive Closure via Graph Path Expressions: ABox "Subsumption Using Transitivity Clause"
- Get all the triples within a certain distance of an initial subject
- Inference Rule SKOS: Transitivity with Inference Rule Context, DISTINCT and FILTER
- Inverse Functional Properties and Same As

- Example Usage of Transitivity via Inference Rules and Transitivity for lists
- Processing Large Hierarchies in SPARQL
- Example for TBox Subsumption
- Example for Receptors
- Exploit RDF Schema and OWL Inference Rules with minimal efforts

- Virtuoso SPARQL Extensions supported for: Aggregates, Updates, Deletes, Sub-queries, Path Expressions, Inference Rules and Geography
- Inference Rules and Reasoning
- Inference Rules and SPARQL with Transitivity Option
- Inference Rules, OWL Support and Relationship Ontology
- Note on Aggregates and Inference
- Virtuoso Tips and Tricks Collection