How do I use Transitive SPARQL Query Options and Exploit Inference Rules?

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

Examples using Transitive Query Options

• 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

Examples using subClassOf

• 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

Related

• 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