Typo correction below owl:Nothing rdfs:subClassOf :Species.
> On Nov 20, 2019, at 7:24 PM, Irene Polikoff <[email protected]> wrote: > > RDFS says: > > rdf:type rdfs:range rdfs:Class. > > Given > > :x a :Eagle. > :Eagle a :Species. > :Species a owl:Class. > > A tool that implements RDFS inferencing will conclude > > :Eagle a rdfs:Class. > :Species a rdfs:Class. > > If you add OWL into the mix, you may get > > :Species rdfs:subClassOf owl:Thing. > :Eagle a owl:Thing. > owl:Nothing rdfs:subClassOf :Species. > > Possibly, :Eagle a owl:NamedIndividual. I believe it has the same class > extension as owl:Thing. > > I can’t think of any other inferences entailed by the 3 triples above. > > To be clear, I would not recommend this approach to data modeling. I also > have to admit that I find this discussion pretty esoteric and largely > irrelevant. > >> On Nov 20, 2019, at 8:23 AM, dprice <[email protected] >> <mailto:[email protected]>> wrote: >> >> 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] >>> <mailto:[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] >> <mailto:[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 >> >> <https://groups.google.com/d/msgid/topbraid-users/59C5654B-C504-4DEA-B6C0-9B589B8158BD%40topquadrant.com?utm_medium=email&utm_source=footer>. > -- 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/944DA4BE-5400-4D1C-85CC-8C83EE5AEA7A%40topquadrant.com.
