%META:TOPICPARENT{name="VirtTipsAndTricksGuide"}% ---+ 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 * [[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]]