Re: comment on Profile document: Missing rule in OWL-R?

Ivan,

I think you are right. In OWL Full, the extension of owl:Class should be 
the same as the extension of rdfs:Class.
That table 5 is for OWL-R Full anyway. So I don't worry that it gets out 
of DL realm.

Thanks,

Zhe

Ivan Herman wrote:
> Alan,
>
> The first rule in Table 5 of the profile document says
>
> (?c rdf:type owl:Class) =>
>     (?c rdfs:subClassOf ?c) and
>     (?c owl:equivalentClasses ?c)
>
> Isn't it necessary to have the same rule with rdfs:Class instead of 
> owl:Class? Of course, that would lead out of the DL realm in the case 
> of OWL-R-DL...:-(
>
> Ivan
>