Hi Gerrit,
it fails to compile the body of the smf:deriveURI function, which is a SPIN
function with a spin:body. So this is fine even with the open source part of
SPIN. The body is
SELECT ?uri
WHERE {
BIND (smf:resource(fn:concat(xsd:string(?arg1), ?arg2)) AS ?uri) .
}
and my code at the point in question handles arguments such as ?arg1 and ?arg2.
The error message indicates that it tries to cast the empty string into a
number. Judging from my code this can only happen if the variable is called
?arg. So I am wondering what version of the functions-smf function you are
importing. When I ran this last week on the online version it was fine. I guess
I need more input, and maybe you can see some additional problems with what I
wrote above.
Note that most other functions from the SMF namespace won't work in the open
source edition. I have moved many (useful) SMF functions into the SPIF
namespace for 3.5, and those SPIF functions with a Java body are available as
part of the extended SPIN API and stand-alone server (code named TopBraid Live
Express Edition).
Holger
On Jun 15, 2011, at 12:41 AM, Gerrit wrote:
> Indeed - my own ontology imports http://topbraid.org/functions-smf. I
> have added SPINModuleRegistry.get().registerAll(model,null); just
> after registering the OWL RL model, but I get a similar error (output
> shown below). Could it have anything to do with SPIN functions being
> only available under a commercial license?
>
> Regards,
> Gerrit
>
> -----------------
> Output:
>
> Function http://topbraid.org/sparqlmotionfunctions#deriveURI does not
> define a valid body
> 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(FunctionCallImpl.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(SPINExpressions.java:
> 189)
> at
> org.topbraid.spin.model.impl.AbstractSPINResourceImpl.printNestedExpressionString(AbstractSPINResourceImpl.java:
> 146)
> at
> org.topbraid.spin.model.impl.AbstractSPINResourceImpl.printNestedExpressionString(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.printNestedElementList(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(AbstractSPINResourceImpl.java:
> 183)
> at org.topbraid.spin.arq.SPINARQFunction.<init>(SPINARQFunction.java:
> 58)
> at
> org.topbraid.spin.arq.SPINBodyFunctionDriver.doCreate(SPINBodyFunctionDriver.java:
> 21)
> at
> org.topbraid.spin.arq.SPINFunctionDrivers.create(SPINFunctionDrivers.java:
> 31)
> at
> org.topbraid.spin.system.SPINModuleRegistry.registerARQFunction(SPINModuleRegistry.java:
> 222)
> at
> org.topbraid.spin.system.SPINModuleRegistry.register(SPINModuleRegistry.java:
> 176)
> at
> org.topbraid.spin.system.SPINModuleRegistry.registerFunctions(SPINModuleRegistry.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)
> ....
>
>
> On Jun 11, 1:24 am, Holger Knublauch <[email protected]> wrote:
>> 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 thathttp://topbraid.org/functions-smfis somewhere in your model's
>> imports closure.
>>
>> Holger
>>
>> model =
>> loadModelWithImports("/home/gerrit/code/TBCFreeWorkspace/TopBraid/BondingDe
>> vice5.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/87...
>>
>>> 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
--
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
