New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Property path patterns in SPARQL* #7
Comments
I have looked through this in detail now and I would say that we actually do not need to do anything here---at least, if we make two assumptions (which we may make explicit in the spec):
The first assumption is necessary for the following reason. In SA mode, every embedded triple t that is not also contained directly in the given RDF* graph G (i.e., t ∉ G) is not asserted and, thus, should be ignored during path pattern matching. Ignoring such an embedded triple t happens trivially with the current definitions of property path pattern evaluation in Sec.18.4 of the SPARQL 1.1 spec. In contrast, an embedded triple t' that is also contained directly in the given RDF* graph G (i.e., t' ∈ G) is asserted and, thus, must not be ignored during path pattern matching. However, due to the fact that t' ∈ G, the triple is considered by the current definitions of property path pattern evaluation, as desired. The second assumption is necessary to be able to consider nested RDF* triples (i.e., triples that have an embedded triple as their subject or their object) during path pattern matching. Then, a path that matches a property path expression may start from an embedded triple or may end in an embedded triple (or both). It is even possible that intermediate nodes along such a path are embedded triples. As an example, consider the RDF* graph in the following snippet of Turtle*.
...and consider the following SPARQL* query.
The result of this query over the RDF* graph consists of two solution mappings:
where t1 is the triple (:s1,:p1,:o1) and t2 is the triple (:s2,:p2,:o2). |
See also #65. |
some of them were also imported from the text of issue #7, which I also fixed
Concur |
1 similar comment
Concur |
I have added the definition of a SPARQL* property path pattern into the draft just for the sake of having such a definition. We need to think about whether it is useful to add this to SPARQL*, in which case we need to define the semantics of such SPARQL* property path patterns.
In fact, no matter what we decide, even for standard property path patterns, the semantics may have to be extended to use them over RDF* graphs.
The text was updated successfully, but these errors were encountered: