Hi/Hello
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.
c:Measure rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( i:Attr
[ rdf:type owl:Restriction ;
owl:onProperty i:label ;
owl:hasValue "meta"
]
) ;
rdf:type owl:Class
] ;
rdfs:subClassOf i:Attr ;
i:AttrType "con" ;
rdfs:label "MP"@en ,
"Mät"@sv .