[topbraid-users] OWL reasoning and SPIN API

2011-12-16 Thread John H
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

Re: [topbraid-users] Re: connecting with openrdf sesame 2.6

2011-12-16 Thread Gokhan Soydan
Paul, We have just added Sesame 2.6.2 adapter to TopBraid Composer. We checked that it work both with Sesame 2.6.2 and earlier version Sesame repository data. This is scheduled to be available in TBC 3.6.0 release build (not beta). Gokhan On 11/15/2011 4:52 PM, Gokhan Soydan wrote: Paul,

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

2011-12-16 Thread Holger Knublauch
Hi John, on the SPIN API level, the spin:imports are currently only automatically used for constraint checking. For inferencing, you need to "manually" add those before sending the model to the SPINInferences class. Something like model = SPINImports.get().getImportsModel(model) should