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., Scope the reasoning to layers in the hierarchy.
Transitive Query Options Examples Usage
- Transitivity: "Find all the people known by Tim Berners-Lee to a depth between 1 and 4 applications of the subquery";
- Transitivity: Variant II: "Find all the people known by Tim Berners-Lee 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";
- Inference Rule using transitive properties from SKOS vocabulary;
- Inference Rule SKOS: Transitivity with Inference Rule Context, DISTINCT and FILTER;
- Inverse Functional Properties and Same As .
subClassOf examples usage
- 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