Hello! Virtuoso 6.1 contains some new OWL semantics support. And it makes me happy :) But at the moment I do not understand how OWL semantics is integrated into Virtuoso (primarily RDFS) reasoner. Some questions: 1. What about things like owl:Thing, owl:Nothing, owl:TopDataProperty, owl:BottomDataProperty (and the same for object properties)? Does reasoner know about them? 2. Does reasoner know, for example, that owl:ObjectProperty is subset of rdf:Property?
Regards, Alexander
