Holger, I have created a gist of the Java code setup to make it more readable at: https://gist.github.com/9e89d33b88518327c19b
The setup is based on OWLRLExample.java that you provided in another thread: http://groups.google.com/group/topbraid-users/browse_thread/thread/8797eaf9d05a2f9a/96b5f7544b9cb2ce Regards, Gerrit On Jun 10, 3:45 am, Holger Knublauch <[email protected]> wrote: > Hi Gerrit, > > I may need more information to understand this issue. I tried the following > and got no error. I changed the KennedysInferencingAndConstraintsExample so > that it also loads the SMF function file > > // Create OntModel with imports > OntModel ontModel = > ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM, baseModel); > Model smfModel = ModelFactory.createDefaultModel(); > smfModel.read("http://topbraid.org/functions-smf";); > ontModel.addSubModel(smfModel); > > And it then ran fine. In your exception trace it seems that the system fails > to parse the body of that smf:deriveURI function. Could you provide more > details on how you set up your Java code before you run the constraints? > > Thanks > Holger > > On Jun 9, 2011, at 7:10 PM, Gerrit wrote: > > > > > > > > > When performing constraint checking using > > > // Run all constraints > > List<ConstraintViolation> cvs = SPINConstraints.check(model, > > null); > > System.out.println("Constraint violations:"); > > for(ConstraintViolation cv : cvs) { > > System.out.println(" - at " + > > SPINLabels.get().getLabel(cv.getRoot()) + ": " + cv.getMessage()); > > } > > > I get the following error: > > > java.lang.IllegalArgumentException: > > Functionhttp://topbraid.org/sparqlmotionfunctions#deriveURI > > does not define a valid body > > at org.topbraid.spin.arq.SPINARQFunction.<init>(SPINARQFunction.java: > > 71) > > at > > org.topbraid.spin.arq.SPINBodyFunctionDriver.doCreate(SPINBodyFunctionDrive > > r.java: > > 21) > > at > > org.topbraid.spin.arq.SPINFunctionDrivers.create(SPINFunctionDrivers.java: > > 31) > > at > > org.topbraid.spin.system.SPINModuleRegistry.registerARQFunction(SPINModuleR > > egistry.java: > > 222) > > at > > org.topbraid.spin.system.SPINModuleRegistry.register(SPINModuleRegistry.jav > > a: > > 176) > > at > > org.topbraid.spin.system.SPINModuleRegistry.registerFunctions(SPINModuleReg > > istry.java: > > 258) > > at > > org.topbraid.spin.system.SPINModuleRegistry.registerAll(SPINModuleRegistry. > > java: > > 207) > > at > > org.topbraid.spin.system.SPINImports.getImportsModel(SPINImports.java: > > 120) > > at > > org.topbraid.spin.constraints.SPINConstraints.run(SPINConstraints.java: > > 441) > > at > > org.topbraid.spin.constraints.SPINConstraints.check(SPINConstraints.java: > > 313) > > at > > org.topbraid.spin.constraints.SPINConstraints.check(SPINConstraints.java: > > 297) > > at > > eu.sofia.adk.sib.model.semantic.SemanticModel.query(SemanticModel.java: > > 484) > > at > > eu.sofia.adk.sib.model.request.QueryRequest.processRequest(QueryRequest.jav > > a: > > 135) > > at eu.sofia.adk.sib.model.request.Request.run(Request.java:94) > > at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java: > > 441) > > at java.util.concurrent.FutureTask$Sync.innerRun(FutureTask.java:303) > > at java.util.concurrent.FutureTask.run(FutureTask.java:138) > > at java.util.concurrent.ThreadPoolExecutor > > $Worker.runTask(ThreadPoolExecutor.java:886) > > at java.util.concurrent.ThreadPoolExecutor > > $Worker.run(ThreadPoolExecutor.java:908) > > at java.lang.Thread.run(Thread.java:662) > > Caused by: java.lang.NumberFormatException: For input string: "" > > at > > java.lang.NumberFormatException.forInputString(NumberFormatException.java: > > 48) > > at java.lang.Integer.parseInt(Integer.java:470) > > at java.lang.Integer.valueOf(Integer.java:554) > > at > > org.topbraid.spin.model.impl.FunctionCallImpl.getArgumentProperties(Functio > > nCallImpl.java: > > 64) > > at > > org.topbraid.spin.model.impl.FunctionCallImpl.getArguments(FunctionCallImpl > > .java: > > 49) > > at > > org.topbraid.spin.model.impl.FunctionCallImpl.print(FunctionCallImpl.java: > > 172) > > at > > org.topbraid.spin.util.SPINExpressions.printExpressionString(SPINExpression > > s.java: > > 189) > > at > > org.topbraid.spin.model.impl.AbstractSPINResourceImpl.printNestedExpression > > String(AbstractSPINResourceImpl.java: > > 146) > > at > > org.topbraid.spin.model.impl.AbstractSPINResourceImpl.printNestedExpression > > String(AbstractSPINResourceImpl.java: > > 141) > > at org.topbraid.spin.model.impl.BindImpl.print(BindImpl.java:54) > > at > > org.topbraid.spin.model.impl.ElementListImpl.print(ElementListImpl.java: > > 139) > > at > > org.topbraid.spin.model.impl.AbstractSPINResourceImpl.printNestedElementLis > > t(AbstractSPINResourceImpl.java: > > 132) > > at org.topbraid.spin.model.impl.QueryImpl.printWhere(QueryImpl.java: > > 177) > > at org.topbraid.spin.model.impl.SelectImpl.print(SelectImpl.java:99) > > at > > org.topbraid.spin.model.impl.AbstractSPINResourceImpl.toString(AbstractSPIN > > ResourceImpl.java: > > 183) > > at org.topbraid.spin.arq.SPINARQFunction.<init>(SPINARQFunction.java: > > 58) > > ... 19 more > > > I am using SPIN 1.2.0, ARQ 2.8.7 and Jena 2.6.4. > > > Regards, > > Gerrit > > > -- > > 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
