HTML Microdata document

This HTML5 document contains 56 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
n23	http://purl.org/vocab/relationship/
n4	http://ods.openlinksw.com/dataspace/person/dav#
n13	http://bit.ly/
dcterms	http://purl.org/dc/terms/
n11	http://www.w3.org/TR/2010/WD-sparql11-property-paths-20100126/
n10	http://ods.openlinksw.com/dataspace/owiki/wiki/
atom	http://atomowl.org/ontologies/atomrdf#
n7	http://ods.openlinksw.com/dataspace/owiki/wiki/ODS/VirtSPARQLReasoningTutorial/
foaf	http://xmlns.com/foaf/0.1/
opl	http://www.openlinksw.com/schema/attribution#
n19	http://ods.openlinksw.com/dataspace/%28NULL%29/wiki/ODS/
n22	http://ods.openlinksw.com/dataspace/owiki#
dc	http://purl.org/dc/elements/1.1/
rdfs	http://www.w3.org/2000/01/rdf-schema#
n17	http://rdfs.org/sioc/services#
n2	http://ods.openlinksw.com/dataspace/owiki/wiki/ODS/
sioct	http://rdfs.org/sioc/types#
n15	http://www.w3.org/TR/turtle/
n14	http://ods.openlinksw.com/dataspace/person/owiki#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n18	http://ods.openlinksw.com/dataspace/services/wiki/
xsdh	http://www.w3.org/2001/XMLSchema#
n21	http://ods.openlinksw.com/dataspace/dav#
dbpedia	http://dbpedia.org/resource/
sioc	http://rdfs.org/sioc/ns#

Statements

Subject Item: n2:VirtSPARQLReasoningTutorial
rdf:type: atom:Entry sioct:Comment
dcterms:created: 2017-06-13T06:03:54.677861
dcterms:modified: 2017-06-29T07:34:31.371196
rdfs:label: VirtSPARQLReasoningTutorial
foaf:maker: n4:this n14:this
dc:title: VirtSPARQLReasoningTutorial
opl:isDescribedUsing: n7:sioc.rdf
sioc:has_creator: n21:this n22:this
sioc:content: %META:TOPICPARENT{name="VirtTipsAndTricksSPARQL11FeaturesExamplesCollection"}% ---+ Tutorial Demonstrating Reasoning via SPARQL %TOC% ---++ Why? Reasoning is a topic of discussion that suffers (like most things related to the Semantic Web vision) unduely due to poor narratives and simple examples. ---++ What? This tutorial demonstrates "on the fly" reasoning (i.e., no persistence of inferred query results) via the use of inference rules or SPARQL 1.1 property path functionality. ---++ How? To make this example as simple as possible, we are going to use data that represents the relationships among key members of the British royal family. Basically we will use DBpedia identifiers (HTTP URIs) to denote: * Each family member; * Predicates/Properties that express entity relationship semantics between family members. Family Members: * Prince William — <code><[[http://dbpedia.org/resource/Prince_William_of_Wales][http://dbpedia.org/resource/Prince_William_of_Wales]]></code> * Prince Harry — <code><[[http://dbpedia.org/resource/Prince_Harry_of_Wales][http://dbpedia.org/resource/Prince_Harry_of_Wales]]></code> * their great grandmother — <code><[[http://dbpedia.org/resource/Elizabeth_Bowes-Lyon][http://dbpedia.org/resource/Elizabeth_Bowes-Lyon]]></code> * Queen (their grandmother) — <code><[[http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom][http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom]]></code> * Prince of Wales (their father ) — <code><[[http://dbpedia.org/resource/Charles%2C_Prince_of_Wales][http://dbpedia.org/resource/Charles%2C_Prince_of_Wales]]></code> Predicates/Properties: The predicates used in this exercise have been sourced from the relationship vocabulary at <code><[[http://purl.org/vocab/relationship/][http://purl.org/vocab/relationship/]]></code>. In this guide we make specific use of the following: * <code>rel:siblingOf</code> (<code><[[http://purl.org/vocab/relationship/][http://purl.org/vocab/relationship/siblingOf]]></code>) * <code>rel:ancestorOf</code> (<code><[[http://purl.org/vocab/relationship/][http://purl.org/vocab/relationship/ancestorOf]]></code>) ---+++ Step 1: Raw Data Using [[http://www.w3.org/TR/turtle/][Turtle]] [2] notation, we can write an RDF-based Linked Data graph to express how the royals are related: <verbatim> ## Turtle based Data Representation Start ## @prefix rel: <http://purl.org/vocab/relationship/> . <http://dbpedia.org/resource/Prince_William_of_Wales> rel:siblingOf <http://dbpedia.org/resource/Prince_Harry_of_Wales> . <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> . <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:ancestorOf <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> . <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> rel:ancestorOf <http://dbpedia.org/resource/Prince_William_of_Wales> . ## End ## </verbatim> ---+++ Step 2: Data Loading Now that we have raw data (in the form of a Turtle-based entity relationship graph) in place, we can proceed to load this data into a SPARQL 1.1 compliant Virtuoso DBMS. Virtuoso enables us load data using any of the following methods: * [[VirtTipsAndTricksSPARQL11Load][SPARQL 1.1 LOAD]] -- whereby we load the data into Virtuoso from a local or remote file comprised of the Turtle raw data above * [[VirtTipsAndTricksSPARQL11Insert][SPARQL 1.1 INSERT]] -- whereby we load the data declaratively, using SPARQL query patterns * SPASQL -- whereby we load the data using Virtuoso's SQL/SPARQL hybrid language, which provides an intuitive transition from SQL to SPARQL, for those familiar with SQL data manipulation language constructs ---++++ Step 2.1: SPARQL 1.1 <verbatim> ## Create Instance Data for Relationship Ontology PREFIX rel: <http://purl.org/vocab/relationship/> INSERT { GRAPH <urn:owl:inference:tests> { <http://dbpedia.org/resource/Prince_William_of_Wales> rel:siblingOf <http://dbpedia.org/resource/Prince_Harry_of_Wales> . <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> . <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:ancestorOf <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> . <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> rel:ancestorOf <http://dbpedia.org/resource/Prince_William_of_Wales> . } } </verbatim> ---++++ Step 2.2: SPASQL <verbatim> SPARQL ## Create Instance Data for Relationship Ontology PREFIX rel: <http://purl.org/vocab/relationship/> INSERT into GRAPH <urn:owl:inference:tests> { <http://dbpedia.org/resource/Prince_William_of_Wales> rel:siblingOf <http://dbpedia.org/resource/Prince_Harry_of_Wales> . <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> . <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:ancestorOf <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> . <http://dbpedia.org/resource/Charles%2C_Prince_of_Wales> rel:ancestorOf <http://dbpedia.org/resource/Prince_William_of_Wales> . } </verbatim> ---+++ Step 3: Verify Data To verify that your data has been created, execute the following basic SPARQL query: <verbatim> ## Verify Data SELECT * FROM <urn:owl:inference:tests> WHERE { ?s ?p ?o . } </verbatim> * [[http://bit.ly/1q4X9ll][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1sgquLM][View the SPARQL Query Results via SPARQL Protocol URL]] ---+++ Step 4: Setting Up Inference Rules We are using terms from the relationship vocabulary to drive this exercise, so we need to make Virtuoso aware of this through the use of an inference rule declaration that binds said rule to the relationship vocabulary. To complete this task, you need to execute the following three commands via one of Virtuoso's SQL interfaces (e.g., command-line, ODBC, JDBC, ADO.NET, or XMLA): <verbatim> SPARQL CLEAR GRAPH <http://vocab.org/relationship/>; SPARQL LOAD <http://vocab.org/relationship/rel-vocab-20100607.rdf> INTO <http://vocab.org/relationship/>; rdfs_rule_set ('urn:owl:inference:rules:tests', 'http://vocab.org/relationship/') ; </verbatim> ---+++ Step 5: Verify Rule's existence <verbatim> SELECT * FROM sys_rdf_schema </verbatim> ---+++ Step 6: SPARQL Inference Queries ---++++ Who are the descendants of the entity denoted by the DBpedia Identifier <<nowiki>http://dbpedia.org/resource/Elizabeth_Bowes-Lyon</nowiki>>? (SPARQL pragma) In this case we will use a Virtuoso SPARQL pragma to conditionally invoke Virtuoso's built-in reasoner against the rule created earlier: <verbatim> DEFINE input:inference 'urn:owl:inference:rules:tests' PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf ?o } </verbatim> * [[http://bit.ly/1oxrbRw][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1vROOce][View the SPARQL Query Results via SPARQL Protocol URL]] ---++++ Who are the descendants of the entity denoted by the DBpedia Identifier <<nowiki>http://dbpedia.org/resource/Elizabeth_Bowes-Lyon</nowiki>>? (SPARQL 1.1 Property Paths) In this case, we will use SPARQL 1.1 Property Paths to achieve the same goal via the <code>"+"</code> unary operator applied to the <code>rel:ancestorOf</code> predicate in the SPARQL query pattern: <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf+ ?o . } </verbatim> * [[http://bit.ly/1dXDuSC][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1sgqHhU][View the SPARQL Query Results via SPARQL Protocol URL]] ---++++ Who are the descendants of the entity denoted by the DBpedia Identifier <<nowiki>http://dbpedia.org/resource/Elizabeth_Bowes-Lyon</nowiki>>? (incomplete result) In this case, neither the use of a SPARQL inference rules pragma nor a SPARQL 1.1 property paths are put to use, so you end up with in incomplete result (or solution): <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_Bowes-Lyon> rel:ancestorOf ?o . } </verbatim> * [[http://bit.ly/1oxrko8][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/QKS0Dd][View the SPARQL Query Results via SPARQL Protocol URL]] ---++++ Who are the siblings of the entity denoted by the DBpedia Identifier <nowiki><http://dbpedia.org/resource/Prince_Harry_of_Wales></nowiki>? This collection of queries leverages with the semantics of the <code>rel:siblingOf</code> predicate. This particular predicate's semantics imply that the subject and object positions in triples have no effect on the query result. Thus, the position of the DBpedia Identifier <http://dbpedia.org/resource/Prince_Harry_of_Wales> in the SPARQL triple pattern has no effect on the eventual query result, when reasoning is in use. ---+++++ Using the Virtuoso SPARQL inference rules pragma (siblings) Using the Virtuoso inference rule SPARQL pragma approach the query would be as follows: <verbatim> DEFINE input:inference 'urn:owl:inference:rules:tests' PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Prince_Harry_of_Wales> rel:siblingOf ?o . } </verbatim> * [[http://bit.ly/1oxs6Bn][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1E15Rd7][View the SPARQL Query Results via SPARQL Protocol URL]] ---+++++ Using SPARQL 1.1 property paths (siblings) Using SPARQL 1.1 property paths to get the same effect via combined use of the following operators with the <code>rel:siblingOf</code> query pattern predicate: <code>"/"</code> (path sequence operator), <code>"^"</code> inverse operator, a one or more <code>("+")</code>. The resulting SPARQL query takes the following form: <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Prince_Harry_of_Wales> (rel:siblingOf+|^rel:siblingOf) ?o . } </verbatim> * [[http://bit.ly/1gUYXLx][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/Pw3V6q][View the SPARQL Query Results via SPARQL Protocol URL]] ---+++++Using no inference rules pragmas or SPARQL 1.1 property paths (siblings) Executing the SPARQL query without inference rules pragmas or SPARQL 1.1 property paths results in an empty results set. The query in question would take the form below. Of course, you can simply comment out the Virtuoso SPARQL pragma declaration too. <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Prince_Harry_of_Wales> rel:siblingOf ?o . } </verbatim> * [[http://bit.ly/1dXEs0Z][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1dXErtS][View the SPARQL Query Results via SPARQL Protocol URL]] ---++++ The entity denoted by the DBpedia Identifier <<nowiki>http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom</nowiki>> is the descendant of whom? This collection of queries leverage the <code>inverseOf</code> semantics that underly the <code>rel:descendantOf</code> predicate. Basically, this is about the opposite (inverse) implications of an ancestor and a descendant. The object of an ancestor triple is the subject of a descendant triple which implies that my raw data doesn't need to explicitly include any <code>rel:descendantOf</code> triples. ---+++++ Using the Virtuoso SPARQL inference rules pragma (descendant of whom) Using the Virtuoso SPARQL inference rules pragma your SPARQL query would be as follows: <verbatim> DEFINE input:inference 'urn:owl:inference:rules:tests' PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:descendantOf ?o . } </verbatim> * [[http://bit.ly/1gUZe0X][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1dTfpg3][View the SPARQL Query Results via SPARQL Protocol URL]] ---+++++ Using SPARQL 1.1 property paths (descendant of whom) Using SPARQL 1.1 property paths to achieve the same result via use of the alternative paths operator <code>("|")</code> combined with the inverse <code>("^")</code> operator leads to the following query: <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:descendantOf|^rel:ancestorOf ?o . } </verbatim> * [[http://bit.ly/1jJnLqc][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1k74sK2][View the SPARQL Query Results via SPARQL Protocol URL]] ---+++++ Using no inference rules pragmas or SPARQL 1.1 property paths (descendant of whom) Executing the SPARQL query without a Virtuoso inference rule pragma or SPARQL 1.1 query paths alternative, you will get an empty result for the following: <verbatim> PREFIX rel: <http://purl.org/vocab/relationship/> SELECT * FROM <urn:owl:inference:tests> WHERE { <http://dbpedia.org/resource/Elizabeth_II_of_the_United_Kingdom> rel:descendantOf ?o . } </verbatim> * [[http://bit.ly/1lFv84o][View the SPARQL Query Definition via SPARQL Protocol URL]] * [[http://bit.ly/1hnodVZ][View the SPARQL Query Results via SPARQL Protocol URL]] ---++Related 1 [[VirtTipsAndTricksVOSvsCommercialEdition][SPARQL Named Graphs with SPARQL 1.1 Property Paths and Reasoning]] 1 [[http://www.w3.org/TR/turtle/][W3C Turtle Spec]] 1 [[http://www.w3.org/TR/2010/WD-sparql11-property-paths-20100126/][SPARQL 1.1 Property Paths]] 1 [[http://bit.ly/UydU9t][Simple SPARQL based Data Integration that leverages inference or SPARQL 1.1 Property Paths]] 1 [[VirtTipsAndTricksSPARQL11FeaturesExamplesCollection][Virtuoso SPARQL 1.1 Features Examples Collection]]
sioc:id: 618229c287e2d60d4b32cf5e01d3e26b
sioc:link: n2:VirtSPARQLReasoningTutorial
sioc:has_container: n10:ODS
n17:has_services: n18:item
atom:title: VirtSPARQLReasoningTutorial
sioc:links_to: n11: n13:UydU9t n13:1hnodVZ n15: n13:1dXErtS n13:1gUZe0X n13:Pw3V6q n13:1dXEs0Z n13:1k74sK2 n13:1lFv84o n13:1dTfpg3 n13:1jJnLqc n13:1sgqHhU n13:1oxrko8 n13:1vROOce n13:1dXDuSC n13:1E15Rd7 n13:1gUYXLx n13:QKS0Dd n13:1oxs6Bn n19:VirtTipsAndTricksSPARQL11FeaturesExamplesCollection dbpedia:Prince_Harry_of_Wales> dbpedia:Elizabeth_Bowes-Lyon n13:1sgquLM dbpedia:Elizabeth_II_of_the_United_Kingdom n13:1oxrbRw dbpedia:Prince_William_of_Wales dbpedia:Prince_Harry_of_Wales n13:1q4X9ll dbpedia:Charles%2C_Prince_of_Wales n23: n19:VirtTipsAndTricksSPARQL11Insert n19:VirtTipsAndTricksVOSvsCommercialEdition n19:VirtTipsAndTricksSPARQL11Load
atom:source: n10:ODS
atom:author: n4:this
atom:published: 2017-06-13T06:03:54Z
atom:updated: 2017-06-29T07:34:31Z
sioc:topic: n10:ODS