<docbook><section><title>VirtsubClassOfOrientedSubsumptionTransitiveOptions</title><title> How do I use Transitive SPARQL Query Options and Exploit Inference Rules?</title> How do I use Transitive SPARQL Query Options and Exploit Inference Rules?
<para>This Guide contains <emphasis>subClassOf</emphasis> oriented subsumption examples and examples for Transitive Options, e.g., scoping the reasoning to layers in the hierarchy.</para>
<para> </para>
<bridgehead class="http://www.w3.org/1999/xhtml:h2"> Examples using Transitive Query Options</bridgehead>
<itemizedlist mark="bullet" spacing="compact"><listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2858%29">Transitivity: &quot;Find all the people known by Kingsley Idehen to a depth between 1 and 4 applications of the sub-query&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2859%29">Transitivity: Variant II: &quot;Find all the people known by Kingsley Idehen to a depth between 2 and 4 applications of the subquery&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2860%29">Transitivity with graph: &quot;Find how two people know each other and what graphs are involved in the connection&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2861%29">Transitivity with sameAs: &quot;Find all graphs that contain owl:sameAs for &quot;New York&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2862%29">Transitivity with sameAs and graph: &quot;Find all graphs that contain owl:sameAs for &quot;New York&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2863%29">Transitive Closure via Graph Path Expressions: TBox: &quot;Subsumption Using Transitivity Clause&quot;</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2864%29">Transitive Closure via Graph Path Expressions: ABox &quot;Subsumption Using Transitivity Clause&quot;</ulink> </listitem>
<listitem><ulink url="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</ulink> </listitem>
<listitem><ulink url="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</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/tutorials/sparql/SPARQL_Tutorials_Part_5/SPARQL_Tutorials_Part_5.html#%2892%29">Inverse Functional Properties and Same As</ulink></listitem>
</itemizedlist><bridgehead class="http://www.w3.org/1999/xhtml:h2"> Examples using subClassOf</bridgehead>
<itemizedlist mark="bullet" spacing="compact"><listitem><ulink url="VirtTipsAndTricksTransitivityInferenceLists">Example Usage of Transitivity via Inference Rules and Transitivity for lists</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfiridereferencing.html#rdfiridereferencingfacetprlh">Processing Large Hierarchies in SPARQL</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfsparql.html#rdfsparqlimplementatiotransexamples5">Example for TBox Subsumption</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfsparql.html#rdfsparqlimplementatiotransexamples6">Example for Receptors</ulink> </listitem>
<listitem><ulink url="http://virtuoso.openlinksw.com/dataspace/dav/wiki/Main/VirtTipsAndTricksGuideRDFSchemaOWLInferenceRules">Exploit RDF Schema and OWL Inference Rules with minimal efforts</ulink></listitem>
</itemizedlist><para> </para>
<bridgehead class="http://www.w3.org/1999/xhtml:h2"> Related</bridgehead>
<itemizedlist mark="bullet" spacing="compact"><listitem><ulink url="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</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html">Inference Rules and Reasoning</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruletransoption">Inference Rules and SPARQL with Transitivity Option</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html#rdfsparqlruleowlrelation">Inference Rules, OWL Support and Relationship Ontology</ulink> </listitem>
<listitem><ulink url="http://docs.openlinksw.com/virtuoso/sparqlextensions.html#rdfsparqlaggregatenote">Note on Aggregates and Inference</ulink> </listitem>
<listitem><ulink url="VirtTipsAndTricksGuide">Virtuoso Tips and Tricks Collection</ulink></listitem>
</itemizedlist><para> </para>
</section></docbook>