second conclusion seems not ok, labels are fine just: somehow type info is lost (not stored), causing constraints not checked properly in case of from values when not type-info manually added in source view too (besides data value)
________________________________ From: [email protected] [mailto:[email protected]] On Behalf Of Bohms, H.M. (Michel) Sent: maandag 3 oktober 2011 12:53 To: [email protected] Subject: RE: [topbraid-users] spin syntactic sugar? Hi Holger, I see now were the problem comes from! If if set a value that is ok for age say "10" in form view. and then swithc to source view. the ^^xsd:int part is not there! (for age) the constraint is only reported when this is added! so somehow type info is lost ! this on its turn might be caused by the strange age definition: :age a owl:DatatypeProperty ; rdfs:domain :Person ; rdfs:label "age"^^xsd:string ; rdfs:range [ a rdfs:Datatype ; owl:onDatatype xsd:int ; owl:withRestrictions ([ xsd:minExclusive 0 ]) ] . where datatype is int but it has also a label with string.... I will check whether I wrongly introduced it somehow or whether it was in your original file.. Michel ________________________________ From: [email protected] [mailto:[email protected]] On Behalf Of Holger Knublauch Sent: maandag 3 oktober 2011 9:54 To: [email protected] Subject: Re: [topbraid-users] spin syntactic sugar? Michel, On Oct 3, 2011, at 5:50 PM, Bohms, H.M. (Michel) wrote: next I fill in -10 for age. Note that I cannot say 'ok' being grayed out: Yes and this means that the value has not been assigned and is not in the model. Therefore the system also cannot report a constraint violation. If you really want to enter an invalid value, switch to the Source Code tab and make the change there. The version of the file that I had sent you already had this invalid value, and that's why we were able to reproduce it while you had a different starting point. Regards, Holger -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/emaildisclaimer -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
