Aldo Bucchi wrote:
Hi Guys,
Has anyone plugged an external reasoner to Virtuoso?
Pellet, for example?
Which is the preferred configuration?
( meaning, where would you put the reasoner... in the data loading pipeline? )
Which reasoner?
Any hints are welcome.
We need basic rules. For example:
?a hasB ?b . ?b hasC ?c => ?a hasC ?c
Thanks,
A
At the current time you can reason using:
owl:equivalentClass, owl:equivalentProperty, owl:subClass,
owl:subProperty, and owl:sameAs.
I need to know more about what you are trying to achieve re. rules as
the information above isn't enough.
Links:
1. http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html
--
Regards,
Kingsley Idehen Weblog: http://www.openlinksw.com/blog/~kidehen
President & CEO
OpenLink Software Web: http://www.openlinksw.com