| <!DOCTYPE html> |
| <html lang="en"> |
| <head> |
| |
| |
| <title>Apache Jena - ARQ Property Paths</title> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
| <meta name="viewport" content="width=device-width, initial-scale=1.0"> |
| |
| <link href="/css/bootstrap.min.css" rel="stylesheet" media="screen"> |
| <link href="/css/bootstrap-extension.css" rel="stylesheet" type="text/css"> |
| <link href="/css/jena.css" rel="stylesheet" type="text/css"> |
| <link rel="shortcut icon" href="/images/favicon.ico" /> |
| |
| <script src="https://code.jquery.com/jquery-2.2.4.min.js" |
| integrity="sha256-BbhdlvQf/xTY9gja0Dq3HiwQF8LaCRTXxZKRutelT44=" |
| crossorigin="anonymous"></script> |
| <script src="/js/jena-navigation.js" type="text/javascript"></script> |
| <script src="/js/bootstrap.min.js" type="text/javascript"></script> |
| |
| <script src="/js/improve.js" type="text/javascript"></script> |
| |
| |
| </head> |
| |
| <body> |
| |
| <nav class="navbar navbar-default" role="navigation"> |
| <div class="container"> |
| <div class="navbar-header"> |
| <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-ex1-collapse"> |
| <span class="icon-bar"></span> |
| <span class="icon-bar"></span> |
| <span class="icon-bar"></span> |
| </button> |
| <a class="navbar-brand" href="/index.html"> |
| <img class="logo-menu" src="/images/jena-logo/jena-logo-notext-small.png" alt="jena logo">Apache Jena</a> |
| </div> |
| |
| <div class="collapse navbar-collapse navbar-ex1-collapse"> |
| <ul class="nav navbar-nav"> |
| <li id="homepage"><a href="/index.html"><span class="glyphicon glyphicon-home"></span> Home</a></li> |
| <li id="download"><a href="/download/index.cgi"><span class="glyphicon glyphicon-download-alt"></span> Download</a></li> |
| <li class="dropdown"> |
| <a href="#" class="dropdown-toggle" data-toggle="dropdown"><span class="glyphicon glyphicon-book"></span> Learn <b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li class="dropdown-header">Tutorials</li> |
| <li><a href="/tutorials/index.html">Overview</a></li> |
| <li><a href="/documentation/fuseki2/index.html">Fuseki Triplestore</a></li> |
| <li><a href="/documentation/notes/index.html">How-To's</a></li> |
| <li><a href="/documentation/query/manipulating_sparql_using_arq.html">Manipulating SPARQL using ARQ</a></li> |
| <li><a href="/tutorials/rdf_api.html">RDF core API tutorial</a></li> |
| <li><a href="/tutorials/sparql.html">SPARQL tutorial</a></li> |
| <li><a href="/tutorials/using_jena_with_eclipse.html">Using Jena with Eclipse</a></li> |
| <li class="divider"></li> |
| <li class="dropdown-header">References</li> |
| <li><a href="/documentation/index.html">Overview</a></li> |
| <li><a href="/documentation/query/index.html">ARQ (SPARQL)</a></li> |
| <li><a href="/documentation/assembler/index.html">Assembler</a></li> |
| <li><a href="/documentation/tools/index.html">Command-line tools</a></li> |
| <li><a href="/documentation/rdfs/">Data with RDFS Inferencing</a></li> |
| <li><a href="/documentation/geosparql/index.html">GeoSPARQL</a></li> |
| <li><a href="/documentation/inference/index.html">Inference API</a></li> |
| <li><a href="/documentation/javadoc.html">Javadoc</a></li> |
| <li><a href="/documentation/ontology/">Ontology API</a></li> |
| <li><a href="/documentation/permissions/index.html">Permissions</a></li> |
| <li><a href="/documentation/extras/querybuilder/index.html">Query Builder</a></li> |
| <li><a href="/documentation/rdf/index.html">RDF API</a></li> |
| <li><a href="/documentation/rdfconnection/">RDF Connection - SPARQL API</a></li> |
| <li><a href="/documentation/io/">RDF I/O</a></li> |
| <li><a href="/documentation/rdfstar/index.html">RDF-star</a></li> |
| <li><a href="/documentation/shacl/index.html">SHACL</a></li> |
| <li><a href="/documentation/shex/index.html">ShEx</a></li> |
| <li><a href="/documentation/jdbc/index.html">SPARQL over JDBC</a></li> |
| <li><a href="/documentation/tdb/index.html">TDB</a></li> |
| <li><a href="/documentation/tdb2/index.html">TDB2</a></li> |
| <li><a href="/documentation/query/text-query.html">Text Search</a></li> |
| </ul> |
| </li> |
| |
| <li class="drop down"> |
| <a href="#" class="dropdown-toggle" data-toggle="dropdown"><span class="glyphicon glyphicon-book"></span> Javadoc <b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li><a href="/documentation/javadoc.html">All Javadoc</a></li> |
| <li><a href="/documentation/javadoc/arq/">ARQ</a></li> |
| <li><a href="/documentation/javadoc_elephas.html">Elephas</a></li> |
| <li><a href="/documentation/javadoc/fuseki2/">Fuseki</a></li> |
| <li><a href="/documentation/javadoc/geosparql/">GeoSPARQL</a></li> |
| <li><a href="/documentation/javadoc/jdbc/">JDBC</a></li> |
| <li><a href="/documentation/javadoc/jena/">Jena Core</a></li> |
| <li><a href="/documentation/javadoc/permissions/">Permissions</a></li> |
| <li><a href="/documentation/javadoc/extras/querybuilder/">Query Builder</a></li> |
| <li><a href="/documentation/javadoc/shacl/">SHACL</a></li> |
| <li><a href="/documentation/javadoc/tdb/">TDB</a></li> |
| <li><a href="/documentation/javadoc/text/">Text Search</a></li> |
| </ul> |
| </li> |
| |
| <li id="ask"><a href="/help_and_support/index.html"><span class="glyphicon glyphicon-question-sign"></span> Ask</a></li> |
| |
| <li class="dropdown"> |
| <a href="#" class="dropdown-toggle" data-toggle="dropdown"><span class="glyphicon glyphicon-bullhorn"></span> Get involved <b class="caret"></b></a> |
| <ul class="dropdown-menu"> |
| <li><a href="/getting_involved/index.html">Contribute</a></li> |
| <li><a href="/help_and_support/bugs_and_suggestions.html">Report a bug</a></li> |
| <li class="divider"></li> |
| <li class="dropdown-header">Project</li> |
| <li><a href="/about_jena/about.html">About Jena</a></li> |
| <li><a href="/about_jena/architecture.html">Architecture</a></li> |
| <li><a href="/about_jena/citing.html">Citing</a></li> |
| <li><a href="/about_jena/team.html">Project team</a></li> |
| <li><a href="/about_jena/contributions.html">Related projects</a></li> |
| <li><a href="/about_jena/roadmap.html">Roadmap</a></li> |
| <li class="divider"></li> |
| <li class="dropdown-header">ASF</li> |
| <li><a href="http://www.apache.org/">Apache Software Foundation</a></li> |
| <li><a href="http://www.apache.org/foundation/sponsorship.html">Become a Sponsor</a></li> |
| <li><a href="http://www.apache.org/licenses/LICENSE-2.0">License</a></li> |
| <li><a href="http://www.apache.org/security/">Security</a></li> |
| <li><a href="http://www.apache.org/foundation/thanks.html">Thanks</a></li> |
| </ul> |
| </li> |
| |
| |
| |
| |
| <li id="edit"><a href="https://github.com/apache/jena-site/edit/main/source/documentation/query/property_paths.md" title="Edit this page on GitHub"><span class="glyphicon glyphicon-pencil"></span> Edit this page</a></li> |
| </ul> |
| </div> |
| </div> |
| </nav> |
| |
| |
| <div class="container"> |
| <div class="row"> |
| <div class="col-md-12"> |
| <div id="breadcrumbs"> |
| |
|
|
|
|
|
|
|
|
|
|
|
|
| <ol class="breadcrumb">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li><a href='/documentation'>DOCUMENTATION</a></li>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li><a href='/documentation/query'>QUERY</a></li>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| <li class="active">PROPERTY PATHS</li>
|
|
|
|
|
|
|
|
|
| </ol>
|
|
|
|
|
|
|
| |
| |
| </div> |
| <h1 class="title">ARQ Property Paths</h1> |
| |
| <h1 id="arq---property-paths">ARQ - Property Paths</h1> |
| <p>A property path is a possible route through a graph between two |
| graph nodes. A trivial case is a property path of length exactly |
| one, which is a triple pattern.</p> |
| <p>Most property paths are now legal SPARQL 1.1 syntax, there are some advanced property |
| paths which are syntactic extensions and are only available if the query is parsed with language <code>Syntax.syntaxARQ</code>.</p> |
| <h2 id="path-language">Path Language</h2> |
| <p>A property path expression (or just ‘path’) is similar to a string |
| regular expression but over properties, not characters. ARQ |
| determines all matches of a path expression and binds subject or |
| object as appropriate. Only one match is recorded - no duplicates |
| for any given path expression, although if the path is used in a |
| situation where it’s initial points is already repeated in a |
| pattern, then this duplication is preserved.</p> |
| <table> |
| <thead> |
| <tr> |
| <th>Path example</th> |
| <th>Meaning</th> |
| </tr> |
| </thead> |
| <tbody> |
| <tr> |
| <td><tt>dc:title | rdfs:label</tt></td> |
| <td>Dublin Core title or an RDFS label.</td> |
| </tr> |
| <tr> |
| <td><code>foaf:knows/foaf:name</code></td> |
| <td>Name of people one “knows” steps away.</td> |
| </tr> |
| <tr> |
| <td><code>foaf:knows/foaf:knows/foaf:name</code></td> |
| <td>Name of people two “knows” steps away.</td> |
| </tr> |
| </tbody> |
| </table> |
| <p>In the description below, <em><code>uri</code></em> is either a URI or a prefixed |
| name.</p> |
| <table> |
| <thead> |
| <tr> |
| <th>Syntax Form</th> |
| <th>Matches</th> |
| </tr> |
| </thead> |
| <tbody> |
| <tr> |
| <td><tt><i>uri</i></tt></td> |
| <td>A URI or a prefixed name. A path of length one.</td> |
| </tr> |
| <tr> |
| <td><tt>^<i>elt</i></tt></td> |
| <td>Reverse path (object to subject)</td> |
| </tr> |
| <tr> |
| <td><tt>(<i>elt</i>)</tt></td> |
| <td>A group path <em><code>elt</code></em>, brackets control precedence.</td> |
| </tr> |
| <tr> |
| <td><tt><i>elt1</i> / <i>elt2</i></tt></td> |
| <td>A sequence path of <em><code>elt1</code></em>, followed by <em><code>elt2</code></em></td> |
| </tr> |
| <tr> |
| <td><tt><i>elt1</i> | <i>elt2</i></tt></td> |
| <td>A alternative path of <tt><i>elt1</i></tt>, or <tt><i>elt2</i></tt> (both possibilities are tried)</td> |
| </tr> |
| <tr> |
| <td><tt><i>elt</i>*</tt></td> |
| <td>A path of zero or more occurrences of <em><code>elt</code></em>.</td> |
| </tr> |
| <tr> |
| <td><tt><i>elt</i>+</tt></td> |
| <td>A path of one or more occurrences of <em><code>elt</code></em>.</td> |
| </tr> |
| <tr> |
| <td><tt><i>elt</i>?</tt></td> |
| <td>A path of zero or one <em><code>elt</code></em>.</td> |
| </tr> |
| <tr> |
| <td><tt>!<i>uri</i></tt></td> |
| <td>A path matching a property which isn’t <tt><i>uri</i></tt> (negated property set)</td> |
| </tr> |
| <tr> |
| <td><tt>!(<i>uri1</i>|…|<i>uriN</i>)</tt></td> |
| <td>A path matching a property which isn’t any of <code>uri1 ... uri</code> (negated property set)</td> |
| </tr> |
| </tbody> |
| </table> |
| <p>ARQ extensions: to use these you must use <code>Syntax.syntaxARQ</code></p> |
| <table> |
| <thead> |
| <tr> |
| <th>Syntax Form</th> |
| <th>Matches</th> |
| </tr> |
| </thead> |
| <tbody> |
| <tr> |
| <td><tt><i>elt1</i> ^ <i>elt2</i></tt></td> |
| <td>Shorthand for <tt><i>elt1 / ^elt2</i></tt>, that is <em><code>elt1</code></em> followed by reverse <em><code>elt2</code></em>.</td> |
| </tr> |
| <tr> |
| <td><i><tt>elt</tt></i><code>{n,m}</code></td> |
| <td>A path between n and m occurrences of <em><code>elt</code></em>.</td> |
| </tr> |
| <tr> |
| <td><i><tt>elt</tt></i><code>{n}</code></td> |
| <td>Exactly <code>n</code> occurrences of <code>elt</code>. A fixed length path.</td> |
| </tr> |
| <tr> |
| <td><i><tt>elt</tt></i><code>{n,}</code></td> |
| <td><code>n</code> or more occurrences of <em><code>elt</code></em>.</td> |
| </tr> |
| <tr> |
| <td><i><tt>elt</tt></i><code>{,n}</code></td> |
| <td>Between 0 and <code>n</code> occurrences of <em><code>elt</code></em>.</td> |
| </tr> |
| </tbody> |
| </table> |
| <p>Precedence:</p> |
| <ol> |
| <li>URI, prefixed names</li> |
| <li>Negated property set</li> |
| <li>Groups</li> |
| <li>Unary ^ reverse links</li> |
| <li>Unary operators <code>*</code>, <code>?</code>, <code>+</code> and <code>{}</code> forms</li> |
| <li>Binary operators <code>/</code> and ^</li> |
| <li>Binary operator <code>|</code></li> |
| </ol> |
| <p>Precedence is left-to-right within groups.</p> |
| <h2 id="path-evaluation">Path Evaluation</h2> |
| <p>Paths are “simple” if they involve only operators / (sequence), ^ |
| (reverse, unary or binary) and the form {<em>n</em>}, for some single |
| integer <em>n</em>. Such paths are fixed length. They are translated to |
| triple patterns by the query compiler and do not require special |
| path-evaluation at runtime.</p> |
| <p>A path of just a URI is still a single triple pattern.</p> |
| <p>A path is “complex” if it involves one or more of the operators |
| *,?, + and {}. Such paths require special evaluation and provide |
| expressivity outside of strict SPARQL because paths can be of |
| variable length. When used with models backed by SQL databases, |
| complex path expressions may take some time.</p> |
| <p>A path of length zero connects a graph node to itself.</p> |
| <p>Cycles in paths are possible and are handled.</p> |
| <p>Paths do not need to be anchored at one end of the other, although |
| this can lead to large numbers of result because the whole graph is |
| searched.</p> |
| <p>Property functions in paths are only available for simple paths.</p> |
| <h2 id="extended-language">Extended Language</h2> |
| <p>This involves is syntactic extension and is available if the query |
| is parsed with language <code>Syntax.syntaxARQ</code>.</p> |
| <p>Paths can be directly included in the query in the property |
| position of a triple pattern:</p> |
| <pre><code>PREFIX : <http://example/> |
| PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> |
| PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> |
| |
| # Find the types of :x, following subClassOf |
| SELECT * |
| { |
| :x rdf:type/rdfs:subClassOf* ?t |
| } |
| </code></pre> |
| <h2 id="examples">Examples</h2> |
| <h3 id="simple-paths">Simple Paths</h3> |
| <p>Find the name of any people that Alice knows.</p> |
| <pre><code>{ |
| ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows/foaf:name ?name . |
| } |
| </code></pre> |
| <p>Find the names of people 2 “<code>foaf:knows</code>” links away.</p> |
| <pre><code>{ |
| ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows/foaf:knows/foaf:name ?name . |
| } |
| </code></pre> |
| <p>This is the same as the strict SPARQL query:</p> |
| <pre><code>{ |
| ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows [ foaf:knows [ foaf:name ?name ]]. |
| } |
| </code></pre> |
| <p>or, with explicit variables:</p> |
| <pre><code>{ |
| ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows ?a1 . |
| ?a1 foaf:knows ?a2 . |
| ?a2 foaf:name ?name . |
| } |
| </code></pre> |
| <p>Because someone Alice knows may well know Alice, the example above |
| may include Alice herself. This could be avoided with:</p> |
| <pre><code>{ ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows/foaf:knows ?y . |
| FILTER ( ?x != ?y ) |
| ?y foaf:name ?name |
| } |
| </code></pre> |
| <p>These two are the same query: the second is just reversing the |
| property direction which swaps the roles of subject and object.</p> |
| <pre><code>{ ?x foaf:mbox <mailto:alice@example> } |
| |
| { <mailto:alice@example> ^foaf:mbox ?x } |
| </code></pre> |
| <p>Mutual <code>foaf:knows</code> relationships: <code>?x</code> knows someone who knows |
| <code>?x</code></p> |
| <pre><code>{ |
| ?x foaf:knows^foaf:knows ?x . |
| } |
| </code></pre> |
| <p>Negated property sets define matching by naming one or more |
| properties that must not match. Match if there is a triple from |
| <code>?x</code> to <code>?y</code> which is not <code>rdf:type</code>.</p> |
| <pre><code>{ |
| ?x !rdf:type ?y . |
| } |
| |
| { |
| ?x !(rdf:type|^rdf:type) ?y . |
| } |
| </code></pre> |
| <p>Only properties and reverse properties are allowed in a negated |
| property set, not a full path expression.</p> |
| <h3 id="complex-paths">Complex Paths</h3> |
| <p>Find the names of all the people can be reached from Alice by |
| <code>foaf:knows</code>:</p> |
| <pre><code>{ |
| ?x foaf:mbox <mailto:alice@example> . |
| ?x foaf:knows+/foaf:name ?name . |
| } |
| </code></pre> |
| <p>Again, because of cycles in <code>foaf:knows</code> relationships, it is |
| likely to include Alice herself.</p> |
| <p>Some forms of limited inference are possible as well. For example: |
| all types and supertypes of a resource:</p> |
| <pre><code>{ <http://example/> rdf:type/rdfs:subClassOf* ?type } |
| </code></pre> |
| <p>All resources and all their inferred types:</p> |
| <pre><code>{ ?x rdf:type/rdfs:subClassOf* ?type } |
| </code></pre> |
| <h2 id="use-with-legal-sparql-syntax">Use with Legal SPARQL Syntax</h2> |
| <p>A path can parsed, then installed as a |
| <a href="extension.html#propertyFunctions">property function</a> to be |
| referred to by URI. This way, when the URI is used in the predicate |
| location in a triple pattern, the path expression is evaluated.</p> |
| <pre><code>Path path = ... |
| String uri = ... |
| PathLib.install(uri, path) ; |
| </code></pre> |
| <p>For example:</p> |
| <pre><code>Path path = PathParser.parse("rdf:type/rdfs:subClassOf*", PrefixMapping.Standard) ; |
| String uri = "http://example/ns#myType" ; |
| PathLib.install(uri, path) ; |
| </code></pre> |
| <p>and the SPARQL query:</p> |
| <pre><code>PREFIX : <http://example/> |
| PREFIX ns: <http://example/ns#> |
| # Find the types of :x, following subClassOf |
| SELECT * { :x ns:myType ?t} |
| </code></pre> |
| <p>This also works with if an existing property is redefined (a URI in |
| a path expression is not interpreted as a property function) so, |
| for example, <code>rdf:type</code> can be redefined as a path that also |
| considers RDFS sub -class relationships. The path is a complex path |
| so the property function for <code>rdf:type</code> is not triggered.</p> |
| <pre><code>Path path = PathParser.parse("rdf:type/rdfs:subClassOf*", PrefixMapping.Standard) ; |
| PathLib.install(RDF.type.getURI(), path) ; |
| </code></pre> |
| <p><a href="index.html">ARQ documentation index</a></p> |
| |
| |
| </div> |
| </div> |
| |
| </div> |
| |
| <footer class="footer"> |
| <div class="container" style="font-size:80%" > |
| <p> |
| Copyright © 2011–2022 The Apache Software Foundation, Licensed under the |
| <a href="http://www.apache.org/licenses/LICENSE-2.0">Apache License, Version 2.0</a>. |
| </p> |
| <p> |
| Apache Jena, Jena, the Apache Jena project logo, Apache and the Apache feather logos are trademarks of |
| The Apache Software Foundation. |
| <br/> |
| <a href="https://privacy.apache.org/policies/privacy-policy-public.html" |
| >Apache Software Foundation Privacy Policy</a>. |
| </p> |
| </div> |
| </footer> |
| |
| |
| <script type="text/javascript"> |
| var link = $('a[href="' + this.location.pathname + '"]'); |
| if (link != undefined) |
| link.parents('li,ul').addClass('active'); |
| </script> |
| |
| </body> |
| </html> |