Hello! I am working with OWL ontology stored in Virtuoso RDF-store. Ontology contains assertions "someClass rdfs:subClassOf owl:Thing" not for all root classes. Is there any way to make Virtuoso reasoner take into consideration that all classes are derived from owl:Thing. In other words I want to shift reasoner from rdfs to owl world without requiring any additional reasonings (exceping the one about owl:Thing).
Regards, Alexander
