Re: [topbraid-users] SPIN API usage

2015-02-26 Thread Holger Knublauch
Sorry for this kind of question we need a minimal reproducible example/test case. It is really difficult to guess what's wrong. If you suspect sp:text, then you could confirm this yourself if you just switch your file back to RDF triples. Holger On 2/26/2015 20:55, Claudia Grieco wrote: Ther

Re: [topbraid-users] SPIN API usage

2015-02-26 Thread Claudia Grieco
There are some rules that are applied to super classes of the instances, but some simple rules (ex. insert height and width to an instance of 'rectangle') shouldn't have these problems. My rules are in sp:text, is this a problem? I'm using Spin API 1.4.0 bye Claudia Il giorno giovedì 26 febbraio

Re: [topbraid-users] SPIN API usage

2015-02-25 Thread Holger Knublauch
Hi Claudia, I need more info - which rules does your file contain? Maybe the rules rely on rdfs:subClassOf triples? TopBraid automatically infers some additional rdfs:subClassOf triples that may not be present if you just load a file in a stand-alone app. Holger On 2/26/2015 0:08, Claudia

[topbraid-users] SPIN API usage

2015-02-25 Thread Claudia Grieco
Hi guys, I'm experimenting with the SPIN API and I'm encountering some problems. I'm using the same code from the Kennedy example, but the system makes no inferences at all, while in Top Braid Composer Free it generated more than 300 triples: public static void main(String[] args) { // Initializ