Michel; Let's start by establishing a context. I'll assume you are talking about spinsquare.rdf with SPIN incremental inferencing turned on. What version and edition of TBC are you running?
When editing an area or height, I do not see multiple values for area on TBC-ME 3.5.2. So the values are over-ridden by new ones. The Attribute constraint defined in spin:Rectangle - "Attribute ss:area : xsd:integer [,1]" - will throw a constraint violation warning if there is more than one value for ss:area. Note that constraint violation warnings need to be turned on to run the constraint rules. -- Scott On Sep 21, 7:39 am, "Bohms, H.M. (Michel)" <[email protected]> wrote: > a specific spin question: > > when I run inference on diff. width and length I get multiple values for area > also when I define 3 cardinality=1 restrictions (for width, length and area) > > next when I check consistency I see no warnings, is that expected? > > isnt there a way to just override de earlier calculated value? > > thx Michel > > ps > just a general question....as derivations can be seen as specific restriction > wouldnt one want only 'restrictions'that are not only checked by also > satisfied in some way? > (instead of : construct area:= length*width >>>> ask/make area = > length*width, in a symmetric way ...... or is this something for the future?? > > This e-mail and its contents are subject to the DISCLAIMER > athttp://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
