Actually, I have to correct myself. Because of OWA, you would not get this
inference since there is no way to know that all values come from the class
person.
So, I don’t really know under what circumstances one would use this type of
restriction.
> On Apr 14, 2020, at 10:43 AM, Irene Polikoff <ir...@topquadrant.com> wrote:
>
> Let’s say your data is just:
>
> ex:Alice ex:parent ex:Bob.
> ex:Bob a ex:Person.
>
> Now, with OWL we would get an inference {ex:Alice a ex:Person}.
>
> To get this inference in SHACL, you would need something like:
>
> ex:PersonRulesShape a sh:NodeShape ;
> sh:targetSubjectOf ex:parent ;
> sh:rule [
> a sh:TripleRule ;
> sh:subject sh:this ;
> sh:predicate rdf:type ;
> sh:object ex:Person ;
> ] ;
> sh:condition ex:HasPersonParentShape. # Rule only applies to subjects of a
> triple where objects are persons
--
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 topbraid-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/topbraid-users/1C55ABD7-96C4-4797-B34C-E4D62D7E2796%40topquadrant.com.
