On Sat, 2011-06-25 at 13:39 +0200, Mauro Bieg wrote: > >> 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..
[I'm going to refer to OWL 1 here because I'm more familiar with the specs but believe OWL 2 is similar.] In OWL (1) DL you are not allowed to use many of the RDF/RDFS constructs within your ontology other as part encoding of OWL in RDF. This "disallowed vocabulary" [1] includes rdfs:Resource so any attempt refer to that in and OWL/DL ontology means you are no longer a valid "OWL DL ontology in RDF graph form". So in OWL/DL terms the question isn't meaningful :) Dave [1] http://www.w3.org/TR/owl-semantics/mapping.html#disallowed_vocabulary
