Re: [Virtuoso-users] FIX: CORRECTION 6.1 owl support

2010-02-06 Thread Jürgen Jakobitsch
kingsley thank you very much for your support and patience! i'm coming to terms now with virtuoso inference. for people used to owlim it is important to note that in most cases it is necessary to know t-box to ask the right questions (sparql-wise) and that some things are hard to implement, one e

[Virtuoso-users] FIX: CORRECTION 6.1 owl support

2010-02-06 Thread Kingsley Idehen
All, Cleaner version of the SKOS based example re. new Virtuoso Inference Rules capabilities. In my last post I had a potentially confusing entry for grabbing the SKOS ontology (which isn't required and commented out). The entry is removed from this version ## Cleanup CLEAR GRAPH CLEAR GRA

Re: [Virtuoso-users] CORRECTION 6.1 owl support

2010-02-06 Thread Kingsley Idehen
Jürgen Jakobitsch wrote: thanks, ivan, i realized that well, thats why i tried skos:related ?o OPTION (T_DISTINCT). in my second test, but that leads to 37000 Error SP031 ... which is analog to kingsley's query to my point of view, but there's something i

Re: [Virtuoso-users] CORRECTION 6.1 owl support

2010-02-06 Thread Jürgen Jakobitsch
thanks, ivan, i realized that well, thats why i tried skos:related ?o OPTION (T_DISTINCT). in my second test, but that leads to 37000 Error SP031 ... which is analog to kingsley's query to my point of view, but there's something i'm missing. @kingsley : -

Re: [Virtuoso-users] CORRECTION 6.1 owl support

2010-02-06 Thread Ivan Mikhailov
Hello Jürgen, owl:TransitiveProperty inference is enabled only if triple pattern contains fixed transitive P. It does not work With variable ?p so the option T_DISTINCT becomes misleading. Best Regards, Ivan Mikhailov OpenLink Software http://virtuoso.openlinksw.com On Fri, 2010-02-05 at 23:42