Michel; In Composer, see see TopBraid/Examples/spinsquare.rdf. That
should answer most of your questions.
You don't see constraint violation warnings on multiple values because
you haven't defined any that would detect multiple values. The
Attribute ss:area : xsd:integer [,1]" in spinsquare.rdf will do this.
Or you can define a constraint, such as:
ASK WHERE
{ ?this :area ?area1 .
?this :area ?area2 .
FILTER (?area1 != ?area2) .
}
I didn't see any instances in your model. When I do add an instance,
give it width/length values, and modify the values, I do not see
multiple values of area created by incremental inferencing. So to
reproduce your scenario, you'll have to provide a step-by-step
procedure.
-- Scott
On Sep 21, 10:32 am, "Bohms, H.M. (Michel)" <[email protected]>
wrote:
> 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
> athttp://groups.google.com/group/topbraid-users?hl=en
>
> rules.ttl
> 6KViewDownload
>
> rules.ttl.tbc
> 1KViewDownload
--
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
