I want to share with you this great community the issues that I found during using Virtuoso.
First, I know that The Virtuoso built-in inferencing in the open-source product cannot support owl:unionOf, and owl:intersectionOf. In addition, I am using Virtuoso version: 08.03.3327. Although version 8 was installed, I could not handle complex inference rules. Please, I need some suggestions to bypass this issue.
I really appreciate any help you can provide.
The following is an example of my inference rule.
The Virtuoso built-in inferencing support is the same in the open source and commercial (version 8) products, with owl:unionOf and owl:intersectionOf not supported.
In the Virtuoso commercial version 8.x product only, support for custom inferencing rules using the SPIN vocabulary is supported, enabling users to create there own inference rules. Example scripts are available here.