%META:TOPICPARENT{name="VirtTipsAndTricksGuide"}%

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

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


---++ Examples using Transitive Query Options

   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2858%29][Transitivity: "Find all the people known by Kingsley Idehen to a depth between 1 and 4 applications of the sub-query"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2859%29][Transitivity: Variant II: "Find all the people known by Kingsley Idehen to a depth between 2 and 4 applications of the subquery"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2860%29][Transitivity with graph: "Find how two people know each other and what graphs are involved in the connection"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2861%29][Transitivity with sameAs: "Find all graphs that contain owl:sameAs for "New York"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2862%29][Transitivity with sameAs and graph: "Find all graphs that contain owl:sameAs for "New York"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2863%29][Transitive Closure via Graph Path Expressions: TBox: "Subsumption Using Transitivity Clause"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2864%29][Transitive Closure via Graph Path Expressions: ABox "Subsumption Using Transitivity Clause"]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2865%29][Get all the triples within a certain distance of an initial subject]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2868%29][Inference Rule SKOS: Transitivity with Inference Rule Context, DISTINCT and FILTER]]
   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2892%29][Inverse Functional Properties and Same As]]

---++ Examples using subClassOf 

   * [[VirtTipsAndTricksTransitivityInferenceLists][Example Usage of Transitivity via Inference Rules and Transitivity for lists]]
   * [[http://docs.openlinksw.com/virtuoso/rdfiridereferencing.html#rdfiridereferencingfacetprlh][Processing Large Hierarchies in SPARQL]]
   * [[http://docs.openlinksw.com/virtuoso/rdfsparql.html#rdfsparqlimplementatiotransexamples5][Example for TBox Subsumption]]
   * [[http://docs.openlinksw.com/virtuoso/rdfsparql.html#rdfsparqlimplementatiotransexamples6][Example for Receptors]]
   * [[http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/VirtTipsAndTricksGuideRDFSchemaOWLInferenceRules][Exploit RDF Schema and OWL Inference Rules with minimal efforts]]


---++ Related

   * [[http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%281%29][Virtuoso SPARQL Extensions supported for: Aggregates, Updates, Deletes, Sub-queries, Path Expressions, Inference Rules and Geography]]
   * [[http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html][Inference Rules and Reasoning]]
   * [[http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruletransoption][Inference Rules and SPARQL with Transitivity Option]]
   * [[http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruleowlrelation][Inference Rules, OWL Support and Relationship Ontology]]
   * [[http://docs.openlinksw.com/virtuoso/sparqlextensions.html#rdfsparqlaggregatenote][Note on Aggregates and Inference]]
   * [[VirtTipsAndTricksGuide][Virtuoso Tips and Tricks Collection]]