Ok, but… Suppose someone sends me data ‘height “4 m” ‘ for a bridge
And height is not in my shacl in any way for the bridge shape No sh:closed will give no validation error sh:closed will give validation error (feels like a kind of implicit maxCount=0 for all non-path declared properties) Right? And then my question was/is: what is good practise: being strict (like in the traditional languages of the past: data for non-declared properties give error) or be a bit more flexible and allow data for non-mentioned properties? The latter feels ‘a bit more OWA’ wrt cardinalities….(I know owa is related to assuming false when unknown…but maybe not the right word if people give you more than expected 😊) Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@tno.nl> 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> [cid:image001.gif@01D428E4.EB28A130]<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. From: topbraid-users@googlegroups.com <topbraid-users@googlegroups.com> On Behalf Of Irene Polikoff Sent: dinsdag 31 juli 2018 15:16 To: topbraid-users@googlegroups.com Subject: Re: [topbraid-users] shacl just path CWA means negation is treated as failure e.g., if we say that sh:minCount = 1 and there are no values, it is an issue. Under OWA, there is no issue. It does not mean that you have to list all possible properties. If you specify sh:closed = true, then you do have to list all possible properties or put them into sh:ignore. Or if you have something else to say about property values. On Jul 31, 2018, at 9:07 AM, Bohms, H.M. (Michel) <michel.bo...@tno.nl<mailto:michel.bo...@tno.nl>> wrote: Ahh, ok!! What would you recommend as “good (cwa) practice”? Or would that depend how bad it is if people provide you with more data (like data you might not be able to handle)? I think traditionally the default cwa would be “closed” Right? Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@tno.nl> 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. From: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> <topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com>> On Behalf Of Irene Polikoff Sent: dinsdag 31 juli 2018 15:01 To: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> Subject: Re: [topbraid-users] shacl just path If sh:closed is used, then without this constraint there will be a validation error https://www.w3.org/TR/shacl/#ClosedConstraintComponent Otherwise, not. On Jul 31, 2018, at 8:58 AM, Bohms, H.M. (Michel) <michel.bo...@tno.nl<mailto:michel.bo...@tno.nl>> wrote: Thx Irene for the clarification, ok, so If I do not specify (directly or inherited) it WILL cause a validation issue, right? (unless it is of the very specific form involving the specific target) Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@tno.nl> 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. From: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> <topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com>> On Behalf Of Irene Polikoff Sent: dinsdag 31 juli 2018 14:32 To: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> Subject: Re: [topbraid-users] shacl just path The exact semantics is that ex:R1 a ss:Bridge; cmo::hasDirectPath ‘something’. Will not cause a validation result. Neither will the following: ex:R1 a ss:Bridge; cmo::hasDirectPath ex:R2. Irrespective of what is known about R2. If a certain part has to be there, then minCount is higher than 0. Also, it seems you need qualified value shapes https://www.w3.org/TR/shacl/#QualifiedValueShapeConstraintComponent On Jul 31, 2018, at 8:24 AM, Bohms, H.M. (Michel) <michel.bo...@tno.nl<mailto:michel.bo...@tno.nl>> wrote: Ok, and in case I have a constraint that a certain part has to be there anyway… Is then ss:Bridge rdf:type sh:NodeShape ; sh:property [ sh:path cmo:hasDirectPart ; ] ; Still needed? (or is it implicit because of the other property also for hasDirectPart?) Think I am asking: What is the exact semantics of (just): ss:Bridge rdf:type sh:NodeShape ; sh:property [ sh:path cmo:hasDirectPart ; ] ; Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@tno.nl> 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. From: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> <topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com>> On Behalf Of Irene Polikoff Sent: dinsdag 31 juli 2018 14:10 To: topbraid-users@googlegroups.com<mailto:topbraid-users@googlegroups.com> Subject: Re: [topbraid-users] shacl just path Yes, it works as you describe. minCount = 0 is not needed because it is assumed by default. On Jul 31, 2018, at 7:21 AM, Bohms, H.M. (Michel) <michel.bo...@tno.nl<mailto:michel.bo...@tno.nl>> wrote: Would it make sense to just have: ss:Bridge rdf:type sh:NodeShape ; sh:property [ sh:path cmo:hasDirectPart ; ] ; Indicating that hasDirectPart is a relevant property for bridge? In owl I used minCard 0 to indicate that, hence generated….but do I need it in CWA/Shacle? Does it make sense? Thx Michel Dr. ir. H.M. (Michel) Böhms Senior Data Scientist T +31888663107 M +31630381220 E michel.bo...@tno.nl<mailto:michel.bo...@tno.nl> 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 topbraid-users+unsubscr...@googlegroups.com<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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<mailto:topbraid-users+unsubscr...@googlegroups.com>. For more options, visit https://groups.google.com/d/optout. -- 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. For more options, visit https://groups.google.com/d/optout.