RE: DTTF: summary (gasp!)

[...]

> In particular the following implication that is valid under RDFS will
> not hold under OWL.
>
> eg:prop rdfs:subClassOf owl:Restriction .
> _:x rdf:type eg:prop .
>
> entails
>
> _:x rdf:type owl:Restriction .

let's decide on this one
for me this entailment is OK under OWL (as well as under RDFS)

--
Jos

Received on Friday, 24 May 2002 08:01:40 UTC