Hi Gerrit,
I don't see where you load and register the smf namespace. If your own ontology
imports this namespace, then you should also register the SPIN functions
contained therein. In your example below it seems you only register the OWL RL
model - try to do the same registerAll on model. This assumes that
http://topbraid.org/functions-smf is somewhere in your model's imports closure.
Holger
model =
loadModelWithImports("/home/gerrit/code/TBCFreeWorkspace/TopBraid/BondingDevice5.owl","http://sofia.gotdns.com/ontologies/BondingDevice.owl";);
// Load OWL RL library from the web
logger.debug("Loading OWL RL ontology...");
OntModel owlrlModel =
loadModelWithImports("http://topbraid.org/spin/owlrl-all";);
// Initialize system functions and templates
SPINModuleRegistry.get().init();
// Create and add Model for inferred triples
newTriples = ModelFactory.createDefaultModel(ReificationStyle.Minimal);
model.addSubModel(newTriples);
SPINModuleRegistry.get().registerAll(owlrlModel, null);
On Jun 10, 2011, at 9:59 PM, Gerrit wrote:
> 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
--
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
