Hi Scott,
Michel; Let's start by establishing a context. I'll assume you are talking about spinsquare.rdf with SPIN incremental inferencing turned on. >ehhhh, I don't think so, what is spinsquare.rdf? I just have a class Square in >my own ontology, now called rules.ttl > as attached. What version and edition of TBC are you running? > 3.5.2.v20110828-2200R 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. >when I reun inference I get multiple values (new values are added) > so I thought I add card constraints..but this did nnot help.. 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. > I have that "On" just don't see the constraint flag wheb the are myultiple area values Thx Michel -- 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 -- 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
rules.ttl
Description: rules.ttl
rules.ttl.tbc
Description: rules.ttl.tbc
