>> but what's bothering me now is that pellet says everything is a owl:Thing >> but not infers that it's also an rdf:Resource... i'll see.. > > That's because that's an RDFS/OWL-full entailment not OWL/DL.
yes, i see. it seems that in OWL DL rdfs:Resource is subClassOf owl:Thing (that's what pellet tells me anyway).. But what exactly are the semantics of rdfs:Resource in OWL DL then? I couldn't find anything on that.. Thanks, Mauro
