All, We need to do some relatively simple OWL reasoning, yet something that goes beyond the backward-chaining which is in Virtuoso allready.
We have a few million triples, and we'd like to generate some triples to store in a graph on its own. We are fortunate enough to have all night for this job, it will run outside of the rest of the application. We've looked into using Pellet with a Jena model on the top of Virtuoso, but given some performance issues that we've had with Jena, I would also like to hear if someone has some good experiences to share with regards to running a forward chaining reasoner on the top of Virtuoso, both in terms of performance and in terms of ease of implementation. Kind regards Kjetil Kjernsmo -- Senior Knowledge Engineer Mobile: +47 986 48 234 Email: kjetil.kjern...@computas.com Web: http://www.computas.com/ | SHARE YOUR KNOWLEDGE | Computas AS PO Box 482, N-1327 Lysaker | Phone:+47 6783 1000 | Fax:+47 6783 1001