[tbc-users] Re: no constraint violation warnings?

2009-03-11 Thread Holger Knublauch
Thanks, Michel, for sending me the files (off-list). I can confirm that the error will be fixed for the next beta. Holger On Mar 10, 2009, at 9:16 AM, Holger Knublauch wrote: Hi Michel, there may be side effects between OWLIM and SPIN, in so far that OWLIM (or another inference engine)

[tbc-users] Re: no constraint violation warnings?

2009-03-10 Thread Holger Knublauch
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