Re: [Virtuoso-users] Virtuoso Open Source 6.1.2 Reasoning

2010-10-19 Thread Kingsley Idehen
On 10/18/10 5:34 PM, Sebastian Hellmann wrote: Dear Virtuoso team, I tested the reasoning in Virtuoso 6.1.2 and could not get things running, which was a little bit frustrating. (I tested it on 6.0.0-tp1and it worked back then) All which I really could get working where the examples on the

Re: [Virtuoso-users] Virtuoso Open Source 6.1.2 Reasoning

2010-10-19 Thread Sebastian Hellmann
Hi, I read my mail again and it might not have been clear, how to reproduce the behaviour. Here is the 1. and 2. again. (I think the third one should be clear). 1. http://owl.semanticweb.org/page/TestCase:WebOnt-inverseOf-001 download ontology:

Re: [Virtuoso-users] Virtuoso Open Source 6.1.2 Reasoning

2010-10-19 Thread Ivan Mikhailov
Hello Sebastian, I'm fixing this now, item 1 is fixed, before the rest I'll make a test suite for Approved collection from owl.semanticweb.org to see the progress. Best Regards, Ivan Mikhailov OpenLink Software http://virtuoso.openlinksw.com On Tue, 2010-10-19 at 02:45 +0200, Sebastian

[Virtuoso-users] Virtuoso Open Source 6.1.2 Reasoning

2010-10-18 Thread Sebastian Hellmann
Dear Virtuoso team, I tested the reasoning in Virtuoso 6.1.2 and could not get things running, which was a little bit frustrating. (I tested it on 6.0.0-tp1and it worked back then) All which I really could get working where the examples on the documentation site ... Here, I hope to provide