Yes, I would only ignore inferences when I am parsing the SPIN RDF expression to a SPARQL string, so that it can then be executed over the full set of RDF triples (including the other inferences). I hope to have this change done in time for beta 2 (out really soon).
Holger On Mar 10, 2009, at 9:30 AM, Bohms, H.M. (Michel) wrote: > > > Ok, although I hope that you will not ignore too much in that way. > I can imagine that some inferences by other engines have to stay > relevant. > > In my example I derive by topspin some property (volume) which > should be > according to some constraint when its there (?volume<1200). I hope > this > still stays to work (that the violation warning is still there when > the > volume is derived by the topspin rule). > > Michel > > > > > > > > > > -----Original Message----- > From: topbraid-composer-users@googlegroups.com > [mailto:topbraid-composer-us...@googlegroups.com] On Behalf Of Holger > Knublauch > Sent: 10 March 2009 17:16 > To: topbraid-composer-users@googlegroups.com > Subject: [tbc-users] Re: no constraint violation warnings? > > > Hi Michel, > > there may be side effects between OWLIM and SPIN, in so far that OWLIM > (or another inference engine) may infer additional triples which > impact > the SPIN expression syntax. I will change the constraint checking > engine > to ignore such inferred triples when the SPARQL queries are converted. > > Thanks for the report, > Holger > > > On Mar 10, 2009, at 6:17 AM, Michel Bohms wrote: > >> >> when I have constraint violation warnings when only using TopSpin, >> these disappaer after inference when I have added swift (after >> topspin)... >> is this normal behaviour? >> >> (will swift add triples that "de-violate" the constraints again?) >> >> thx Michel >>> > > > > This e-mail and its contents are subject to the DISCLAIMER at > http://www.tno.nl/disclaimer/email.html > > > > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to topbraid-composer-users@googlegroups.com To unsubscribe from this group, send email to topbraid-composer-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
