Because of things like “owl:Thing rdf:type owl:Class”, owl:disjointWith rdfs:domain/rdfs:range owl:Class, etc. I think it's owl:Class, but I’ve never looked at a specific reasoner’s behaviour in detail. May even vary from reasoner to reasoner.
Cheers, David > On 20 Nov 2019, at 12:35, Irene Polikoff <[email protected]> wrote: > > I would think rdfs:Class, not owl:Class. > > >> On Nov 20, 2019, at 4:48 AM, dprice <[email protected] >> <mailto:[email protected]>> wrote: >> >> Everything that is the rdfs:range of rdf:type is by-definition an owl:Class. > > > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/141FBB70-87C7-4838-8187-7355B2559387%40topquadrant.com > > <https://groups.google.com/d/msgid/topbraid-users/141FBB70-87C7-4838-8187-7355B2559387%40topquadrant.com?utm_medium=email&utm_source=footer>. UK +44 (0) 7788 561308 US +1 (336) 283-0808 -- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/59C5654B-C504-4DEA-B6C0-9B589B8158BD%40topquadrant.com.
