I added the following:

model.read("http://topbraid.org/spin/owlrl-all";);
model.read("http://topbraid.org/spin/owlrl";);

but then I get a large amount (i.e. hundreds) of locking messages,e.g:

15:58:39 DEBUG (LockMRSW.java:47) - Lock : OSGi Console

This is probably an OSGi-related issue, but I thought I'd ask if
somebody else has experienced it?


On Apr 5, 3:23 pm, Scott Henninger <[email protected]> wrote:
> Gerrit; OWL inferences for the OWL 2 RL profile can be executed by
> using the SPIN rules found in the TopBraid/SPIN/owlrl-all.rdf file.
> Note that this file creates a template for each rule defined in
> TopBraid/SPIN/owlrl.spin.rdf, so you will need to load that as well.
>
> For TopBraid users, OWL 2 inferences can be executed by copening the
> Profile sub-tab for the ontology home page and choosing "OWL 2 RL".
> Configure inferencing to use TopSPIN and the inference button will
> execute OWL 2 inferences.
>
> -- Scott
>
> On Apr 5, 7:57 am, Gerrit <[email protected]> wrote:
>
>
>
>
>
>
>
> > Updating to Jena 2.6.3 has resolved the issue, thanks. Now I have
> > another question though:
>
> > Does SPINInferences.run() only execute SPIN rules? If so, how I can I
> > perform OWL2 inferencing on the same model? I used to use Pellet, but
> > it seems that Pellet does not support the axioms in SPIN, as it
> > produces a number of warnings similar to the one below:
>
> > Unsupported axiom: Ignoring subproperty axiom 
> > betweenhttp://spinrdf.org/sp#modMax
> > (DatatypeProperty) andhttp://spinrdf.org/sp#systemProperty
> > (ObjectProperty)
>
> > Or is there a way to invoke TopSPIN using the spinrdf library?
>
> > Regards,
> > Gerrit
>
> > On Apr 5, 12:09 pm, Holger Knublauch <[email protected]> wrote:
>
> > > Hi Gerrit,
>
> > > have you tried it with Jena 2.6.3 (the version mentioned on the SPIN API 
> > > web site)? You can verify a version mismatch by compiling the SPIN API 
> > > source code against your local Jena version.
>
> > > Thanks,
> > > Holger
> > > .
>
> > > On Apr 5, 2011, at 8:00 PM, Gerrit wrote:
>
> > > > Hi,
>
> > > > I am using the spinrdf example
> > > > KennedysInferencingAndConstraintsExample.java to try and incorporate
> > > > SPIN rules in my code, but I get the following error when trying to
> > > > run it:
>
> > > > java.lang.NoSuchMethodError:
> > > > com.hp.hpl.jena.rdf.model.Resource.inModel(Lcom/hp/hpl/jena/rdf/model/
> > > > Model;)Lcom/hp/hpl/jena/rdf/model/Resource;
> > > >    at
> > > > org.topbraid.spin.system.SPINModuleRegistry.registerFunctions(SPINModuleReg
> > > >  istry.java:
> > > > 236)
> > > >    at
> > > > org.topbraid.spin.system.SPINModuleRegistry.registerAll(SPINModuleRegistry.
> > > >  java:
> > > > 188)
> > > >    at
> > > > org.topbraid.spin.system.SPINModuleRegistry.init(SPINModuleRegistry.java:
> > > > 137)
>
> > > > Anybody seen this error before? I am using Jena 2.6.2.
>
> > > > Regards,
> > > > Gerrit Niezen
>
> > > > --
> > > > 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

Reply via email to