Hi Rodolfo, thanks a lot for this bug report. It was indeed a (simple) recursive loop. Since this was a small but rather critical bug, I have just updated the SPIN API that is on the web with a fix. The file has still the same version number etc, but the infinite loop should be gone now. I plan to do a proper release with a couple of new features in a few weeks after it went through QA.
Thanks again Holger On Oct 6, 2010, at 4:28 AM, [email protected] wrote: > Hello everyone, > I just downloaded the implementation of the SPIN API 1.1.2 and when > i run the example KennedysInferencingAndConstraintsExample i get an > StackOverflowError. I haven't changed anything in the source and i > think the problem is in this piece of code: > > ... > // Run constraints on a single instance only > Resource person = cvs.get(0).getRoot(); > List<ConstraintViolation> localCVS = > SPINConstraints.check(person, > null); > System.out.println("Constraint violations for " + > SPINLabels.get().getLabel(person) + ": " + localCVS.size()); > > i am using jena 2.6.3 and ARQ 2.8.5. I would be very thankful for any > help. > > Regards > Rodolfo > > Console output: > > Inferred triples: 136 > Constraint violations: > - at spin:AskTemplates: > - at spin:UpdateTemplates: > - at spin:SelectTemplates: > - at spin:ConstructTemplates: > - at kennedys:JosephKennedy: age must be within a realistic range > - at kennedys:StephenSmith: Same-sex marriage not permitted (in this > model) > - at kennedys:JeanKennedy: Same-sex marriage not permitted (in this > model) > Exception in thread "main" java.lang.StackOverflowError > at > org.topbraid.spin.constraints.SPINConstraints.check(SPINConstraints.java: > 259) > at > org.topbraid.spin.constraints.SPINConstraints.check(SPINConstraints.java: > 259) > .... > > -- > 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
