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
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:
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
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