For inferencing, I would associate a rule with :SomeOtherClass to infer
membership in :ExampleClass (made up name since you did not give one) if the
hasValue condition is met.
It is similar to the below example where type Square is inferred for a
rectangle with the same width and height.
ex:Rectangle a rdfs:Class, sh:NodeShape ;
rdfs:label "Rectangle" ;
sh:property [ sh:path ex:height ;
sh:datatype xsd:integer ;
sh:maxCount 1 ;
sh:minCount 1 ;
sh:name "height" ; ] ;
sh:property [ sh:path ex:width ;
sh:datatype xsd:integer ;
sh:maxCount 1 ;
sh:minCount 1 ;
sh:name "width" ; ] ;
sh:rule [ a sh:TripleRule ;
sh:subject sh:this ;
sh:predicate rdf:type ;
sh:object ex:Square ;
sh:condition [ sh:property [ sh:path ex:width ; sh:equals ex:height ; ] ; ] ;
] .
Of course, you would use sh:hasValue instead of sh:equals.
For constraint checking, you need to have the following for :ExampleClass
hasValue :v1 constraint for :p1 path and
hasValue :SomeOtherClass constraint for rdf:type/rdfs:subClassOf* path.
> On Jul 7, 2020, at 10:41 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users
> <[email protected]> wrote:
>
> Having an owl-rl restriction like:
>
> owl:equivalentClass [
> rdf:type owl:Class ;
> owl:intersectionOf (
> :SomeOtherClass
> [
> rdf:type owl:Restriction ;
> owl:hasValue :v1 ;
> owl:onProperty :p1 ;
> ]
>
> How would that best translate to SHACL? (under an inference assumption, not
> just checking).
>
> Should I use SHACL-AF sparql construct for each direction?
> Or can I reuse some AF syntactic sugar construct in one or both directions?
>
> Thx Michel
>
>
>
> Dr. ir. H.M. (Michel) Böhms
> Senior Data Scientist
>
> T +31888663107
> M +31630381220
> E [email protected] <mailto:[email protected]>
> Location
> <https://www.google.com/maps/place/TNO+-+Locatie+Delft+-+Stieltjesweg/@52.000788,4.3745183,17z/data=!3m1!4b1!4m5!3m4!1s0x47c5b58c52869997:0x56681566be3b8c88!8m2!3d52.000788!4d4.376707>
>
>
> <image001.gif> <http://www.tno.nl/>
> This message may contain information that is not intended for you. If you are
> not the addressee or if this message was sent to you by mistake, you are
> requested to inform the sender and delete the message. TNO accepts no
> liability for the content of this e-mail, for the manner in which you use it
> and for damage of any kind resulting from the risks inherent to the
> electronic transmission of messages.
>
>
>
>
>
> --
> 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/74333520d9ad48e6a4f5e7ebb8c596a0%40tno.nl
>
> <https://groups.google.com/d/msgid/topbraid-users/74333520d9ad48e6a4f5e7ebb8c596a0%40tno.nl?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/4B10241B-3800-4C53-A655-202F0CC83C3E%40topquadrant.com.
