On 11/25/2020 12:18 PM, Steve Ray wrote:
Sorry to keep using up bandwidth here.
No problem. Admittedly, the official spec at
https://w3c.github.io/shacl/shacl-af/#select is not exactly full of
examples. A failure of the editor :)
I have pored over all the documentation I can find on the proper use
of sh:values with SPARQL, and clearly I'm not getting something. Here
is my trivial toy example that is supposed to just infer a hard-coded
value of "Hello" for a property. Can you see what I'm doing wrong?
TBC keeps saying: Property ssh:Property_1: values=(SHACL node
expression of unknown type: java.lang.IllegalArgumentException:
Malformed SHACL node expression)
I'm also attaching the full file in case you want to just load it.
Just drop the sh:sparql node and instead do something like
sh:values [
sh:select ...
sh:prefixes ...
]
HTH
Holger
ssh:Class_1
a owl:Class ;
a sh:NodeShape ;
rdfs:subClassOf owl:Thing ;
sh:property [
sh:path ssh:Property_1 ;
sh:values [
sh:sparql [
sh:prefixes <http://example.org/sparqlshape
<http://example.org/sparqlshape>> ;
sh:select """SELECT ?result
WHERE {
BIND (\"Hello\"AS ?result) .
}""" ;
] ;
] ;
] ;
.
ssh:Instance_1
a ssh:Class_1 ;
.
ssh:Property_1
a rdf:Property ;
.
Steve
On Tue, Nov 24, 2020 at 2:57 PM Holger Knublauch
<[email protected] <mailto:[email protected]>> wrote:
On 11/25/2020 8:48 AM, Steve Ray wrote:
I agree with you. Is there no way to have "variable" predicates
in native SHACL? Or is my only option here to use the embedded
SPARQL?
Exactly. SHACL node expressions do not have a notion of variables.
It is intentionally limited to be easier, but then doesn't offer
all features that SPARQL does. There is nothing wrong with using
SPARQL node expressions as a fallback.
Holger
Steve
On Tue, Nov 24, 2020 at 12:51 PM Irene Polikoff
<[email protected] <mailto:[email protected]>> wrote:
There is no path in your example that could get from ?this to
?prop. A path specifies predicates. You do not have
predicates to specify - you are finding out your predicates
in the first WHERE statement. This is why you need to have 2
statements in the WHERE clause and can’t boil them down to a
path expression in a single statement.
On Nov 24, 2020, at 12:39 PM, Steve Ray <[email protected]
<mailto:[email protected]>> wrote:
I'm trying to get comfortable with using SHACL code and wean
myself from embedded SPARQL. However, I'm having some
trouble mapping certain common SPARQL patterns into the
SHACL counterpart. Specifically, here's an example. I'm
trying to find all the values of any property that is a
subPropertyOf a parent property (c223:hasProperty).
The SPARQL should (I think) be something like this:
c223:PropertiesShape
rdf:type sh:PropertyShape ;
sh:path c223:hasProperty ;
sh:name "PropertiesShape" ;
sh:values [
sh:sparql [
sh:prefixes <http://www.w3.org/2000/01/rdf-schema
<http://www.w3.org/2000/01/rdf-schema>> ;
sh:select """SELECT DISTINCT ?prop
WHERE {
?property rdfs:subPropertyOf*
c223:hasProperty .
$this ?property ?prop .
}""" ;
] ;
] ;
.
I know the following is wrong, but not sure what sh: calls I
should be using:
c223:PropertiesShape
rdf:type sh:PropertyShape ;
sh:path c223:hasProperty ;
sh:name "PropertiesShape" ;
sh:values [
sh:distinct [
sh:nodes [
sh:path (
[
sh:zeroOrMorePath rdfs:subPropertyOf ;
]
c223:hasProperty
) ;
] ;
] ;
] ;
.
This gives me a "malformed SHACL expression", so there are
definitely problems.
My real question is, how does one duplicate this pattern in
SHACL?:
WHERE {
?property rdfs:subPropertyOf* <parentProperty> .
$this ?property ?result .
}
Steve
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails
from it, send an email to
[email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/CAGUep87nmSVo5eziHPh6ExbPD1%3DD%3DWrfTNOwNtK0PBww21%3DpgA%40mail.gmail.com
<https://groups.google.com/d/msgid/topbraid-users/CAGUep87nmSVo5eziHPh6ExbPD1%3DD%3DWrfTNOwNtK0PBww21%3DpgA%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from
it, send an email to
[email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/11EA64E3-07D1-4DAF-A609-21C84A739254%40topquadrant.com
<https://groups.google.com/d/msgid/topbraid-users/11EA64E3-07D1-4DAF-A609-21C84A739254%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/CAGUep87Hq%3DPv7rCT0f3aQPU%2BzYo27dA1eodYyGe9ZOoh4D9opA%40mail.gmail.com
<https://groups.google.com/d/msgid/topbraid-users/CAGUep87Hq%3DPv7rCT0f3aQPU%2BzYo27dA1eodYyGe9ZOoh4D9opA%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/41fa8018-8314-3e9b-b854-7fbc1e70f87a%40topquadrant.com
<https://groups.google.com/d/msgid/topbraid-users/41fa8018-8314-3e9b-b854-7fbc1e70f87a%40topquadrant.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/CAGUep87xZen2zPqno3u%2BVjXKHBCHcx-b8VJeX4cHTnrzP9eE1g%40mail.gmail.com
<https://groups.google.com/d/msgid/topbraid-users/CAGUep87xZen2zPqno3u%2BVjXKHBCHcx-b8VJeX4cHTnrzP9eE1g%40mail.gmail.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups "TopBraid
Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/6b37a258-8507-22ce-e8e4-384b893c2dd9%40topquadrant.com.
