[topbraid-users] Re: OWL reasoning and SPIN API

f it has spin:imports in it. > > HTH > Holger > > On Dec 17, 2011, at 8:21 AM, John H wrote: > > > We are using some basic OWL constructs with SPIN so owrl-all is > > imported into the ontology.  The inference works correctly when using > > Topbraid Composer.  Ho

[topbraid-users] OWL reasoning and SPIN API

We are using some basic OWL constructs with SPIN so owrl-all is imported into the ontology. The inference works correctly when using Topbraid Composer. However, when we switch to SPIN API, the SPIN rules we constructed fire but the OWL inference SPIN rules do not. What are we doing wrong? I noti

[topbraid-users] spin:imports vs owl:imports

We need to redirect spin:imports to a local directory. Jena's OntDocumentManager class achieves this for owl:imports. How can we do the same with spin:imports? Thanks! John Hebeler -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics o

[topbraid-users] SPIN Class: SPINExplanations

Does anyone have a working example using SPINExplanations fromt the SPIN API to help explain an rule result. I have tried various configurations in java/jena but it only returns NULL strings. I don't see how to get any information from the class methods for SPINExplanations. http://topbraid.org/s