This helps! I now am able to create more complex sh:values rules that re-use
the inferred values from a different property shape.
But I am now having some other problems with sh:values. I will probably need to
move away from generalized examples now and show you one of my actual shapes:
concept_schema:Rollup_Concept-includedVideos
a sh:PropertyShape ;
sh:path enterprise_schemas:includedVideos ;
dash:readOnly true ;
sh:class content_asset_schema:Video ;
sh:group tosh:InferencesPropertyGroup ;
sh:name "included videos (SHACL)" ;
sh:order "4"^^xsd:decimal ;
sh:values [
sh:path [
sh:inversePath [
sh:alternativePath (
content_asset_schema:level_1
content_asset_schema:level_2
content_asset_schema:level_3
) ;
] ;
] ;
sh:filterShape [
sh:property [
sh:path content_asset_schema:lifecycle_stage ;
sh:hasValue supplementary_concept_data:Active_Asset ;
] ;
] ;
sh:nodes [
sh:path enterprise_schemas:includedConcepts ;
] ;
] ;
.
This shape definition is accepted without errors by EDG's values UI widget,
which diagrams it like this:
[cid:[email protected]]
This diagram seems incomplete, though, in two ways:
1. The right-most box should read this (Video), because I have specified
that sh:class.
2. My sh:filterShape seems to be ignored.
Sure enough, the values produced by the shape, while respecting my sh:path and
sh:nodes statements, seem to ignore the sh:class I specified and my
sh:filterShape.
What am I doing wrong here?
From: [email protected] <[email protected]> On
Behalf Of Holger Knublauch
Sent: Tuesday, January 25, 2022 2:55 PM
To: [email protected]
Subject: Re: [topbraid-users] SHACL inferred data question
*** External email: use caution ***
On 2022-01-26 3:13 am, [email protected]<mailto:[email protected]>
wrote:
Holger,
I am able to create a second property shape, ex:shape2, that uses the values
from my ex:shape1 in a very simple, non-transformative way and successfully
returns the values of ex:shape1 for ex:shape2:
ex:Class-shape2
a sh:PropertyShape ;
sh:path ex:shape2 ;
sh:class ex:Class
sh:values [
sh:path ex:shape1 ;
] ;
.
But the moment I try to introduce any more complexity, my sh:values statement
stops returning any results. For example, I tried:
sh:values [
sh:path ( ex:shape1 skos:broader ) ;
]
Right, complex path expressions don't work in that case. This would have
required a much more complex implementation that would hook into the
SPARQL-like path execution. Doable in principle, just not implemented yet.
The alternative to the above is to use nested sh:path expressions, try
something like
sh:values [
sh:path skos:broader ;
sh:nodes [
sh:path ex:shape1 ;
]
]
This is based on the optional second argument (sh:nodes) that
https://w3c.github.io/shacl/shacl-af/#node-expressions-path<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fw3c.github.io%2Fshacl%2Fshacl-af%2F%23node-expressions-path&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=dpwSujvmDHyT%2FNZDFuEJ%2FTHXAuxceaKDmEU9Wset9qk%3D&reserved=0>
takes and would first get all values of ex:shape1 and then get the broader
values of those. I believe this corresponds to your chained path expression.
Hope this works, didn't test... :)
Holger
and got back no values for ex:shape2. (All of the values returned for ex:shape1
have broader concepts, although they are defined in a different EDG asset
collection.)
What am I doing wrong?
thanks,
Carl
On Thursday, January 20, 2022 at 5:01:18 PM UTC-8 Holger Knublauch wrote:
On 2022-01-21 10:54 am, [email protected] wrote:
Thanks, Holger. My need in this case isn't to query inferred data using SPARQL
or GraphQL, but rather to reuse the inferred data as an input for another EDG
property shape with another sh:values rule in it. I think I'm hearing that
that's not possible.
That scenario IS possible. You just need to use a path node expression, see
https://w3c.github.io/shacl/shacl-af/#node-expressions-path<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fw3c.github.io%2Fshacl%2Fshacl-af%2F%23node-expressions-path&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=dpwSujvmDHyT%2FNZDFuEJ%2FTHXAuxceaKDmEU9Wset9qk%3D&reserved=0>
So if ex:prop1 is inferred then you can reference it in the sh:values rule of
another property using [ sh:path ex:prop1 ] and it will compute that inference
on the fly. This assumes that the receiving property using a sh:values rule
using SHACL node expressions, not SPARQL.
Holger
Can you point me to where I can read more about the materialization option and
decide whether there's a way to make that work for this use case? Thanks.
On Tuesday, January 18, 2022 at 4:03:32 PM UTC-8 Holger Knublauch wrote:
On 2022-01-19 9:44 am, [email protected]<mailto:[email protected]>
wrote:
I have defined a property shape and am successfully inferring its objects using
a sh:values rule.
Can you remind me whether it is possible to use this property and its inferred
data in the sh:values rule for a different property shape? If so, is there a
special way that it needs to be done -- like, does the data I inferred in the
first property shape need to be materialized in some way before I can make use
of it? --
In general, the RDF graphs that TopBraid operates on do not automatically "see"
the extra inferred triples, so they are not computed as RDF triples on the fly.
However, our higher level query languages GraphQL and JavaScript/ADS do see
them whenever they are requested. The user interface goes through GraphQL and
will therefore display these values as if they were materialized.
Now, within SHACL itself it depends on what you want to do. If you have
SHACL-AF inference rules including other sh:values rules you can safely use
path expressions
https://w3c.github.io/shacl/shacl-af/#node-expressions-path<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fw3c.github.io%2Fshacl%2Fshacl-af%2F%23node-expressions-path&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=dpwSujvmDHyT%2FNZDFuEJ%2FTHXAuxceaKDmEU9Wset9qk%3D&reserved=0>
and the values will be computed on the fly. For SHACL constraints there is no
such mechanism unless you are expressing the constraints in SPARQL. There you
can use the magic property
(?focusNode ?predicate) tosh:values ?result
to query the inferred values.
The other option, of course, is to materialize the inferences, e.g. using the
Inferences panel or the Transform tab.
Does this help?
Holger
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/d1fc11f5-f4a3-4d23-84b7-4a72666e6c3fn%40googlegroups.com<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Ftopbraid-users%2Fd1fc11f5-f4a3-4d23-84b7-4a72666e6c3fn%2540googlegroups.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=wS0pKR318uXyuZzk6mT5RFcj4bg5fK4skCMgHRc50Ng%3D&reserved=0>.
--
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/3d423d68-4f62-4180-a44a-3143e6a1128fn%40googlegroups.com<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Ftopbraid-users%2F3d423d68-4f62-4180-a44a-3143e6a1128fn%2540googlegroups.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=Z3wlqoD3PFcY4QKCnK7nyCxUXvjxJDvC9Mvrsi5v790%3D&reserved=0>.
--
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/6cd4990a-f08d-4461-b0bf-a15468f8d948n%40googlegroups.com<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Ftopbraid-users%2F6cd4990a-f08d-4461-b0bf-a15468f8d948n%2540googlegroups.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=lF8JMGy7bEbMee%2Fb8z%2B5AY6ufTdP0Owgbq6gdAk8hQw%3D&reserved=0>.
--
You received this message because you are subscribed to a topic in the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/topbraid-users/b4pARn09t3s/unsubscribe<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Ftopic%2Ftopbraid-users%2Fb4pARn09t3s%2Funsubscribe&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=5D41EYjh8Mba2NUflnNpNv8k5OL6rPCzG0xw1MnyjC8%3D&reserved=0>.
To unsubscribe from this group and all its topics, 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/38344e6d-c2b1-bf0f-e5df-3f77435cdedc%40topquadrant.com<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fd%2Fmsgid%2Ftopbraid-users%2F38344e6d-c2b1-bf0f-e5df-3f77435cdedc%2540topquadrant.com%3Futm_medium%3Demail%26utm_source%3Dfooter&data=04%7C01%7Ccburnett%40healthwise.org%7Ccde6d575eba949e3f95908d9e055bb5f%7Ccee5d4e942e548c28a033406fd5b9242%7C0%7C1%7C637787481106696623%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=08dGAeKPyEHQFQI0U8K7y26bxhN9yYgqwdZg7z6nTlA%3D&reserved=0>.
--
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/MWHPR19MB1598DD7C579AE45BF0DD6679B7219%40MWHPR19MB1598.namprd19.prod.outlook.com.
