Michel, I am not aware of any real life, production applications that use DL reasoning. Thus, I do not see the question about what may be inferred by such reasoner, as very practical. On the other hand, the meaning of OWL and RDFS statements (how they should be interpreted) is defined in terms of inference entailment. DL vs Full is not really that important. The meaning does not change.
If someone builds a custom application that works against a model they develop, they control the behavior of that application and can make it interpret the model anyway they decide. If they expect some off the shelf software to be able to work well with such models and interpret the model and data in the way they think it should be interpreted, they may be disappointed. If they expect others, outside of their group, to understand the meaning of their model and data, they may also be disappointed. They may also run into some walls and create unnecessary complexities that will require various inventions, solutions and workarounds. I agree with the points made by Jan. Further, I believe in most cases models like this are created because 1) creators do not understand the Semantic Web standards and the modeling patterns/options available to them 2) creators starting point was a model built using some other modeling framework/language that did not have the same options and semantics as let’s say OWL or even RDF. They do a one to one conversion without rethinking how it may be different given a different semantic system. > On Nov 21, 2019, at 3:03 AM, 'Bohms, H.M. (Michel)' via TopBraid Suite Users > <[email protected]> wrote: > > > Hi Irene, > > Wrt your “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.” > > > We find this pattern/need very often in practice (multi-level typing). > Catalogue products beings instances that are instantiated again for a client, > properties defined with meta-data, instantiated again for actual properties > of things, etc. etc. People use very different ways of dealing with it using > punning, rdf:Property as range, objectproperties iso rdf:type having similar > semantic intentions etc. etc. So I guess its important to know for certain > variants what is actually inferred or not etc. I was glad the issue was > brought up (again) by Jan. The start of the issue was actually a question of > some clients on how to best combine say RDFS/OWL and SKOS since sometimes the > thing modelled then could be both an instance and a class and the w3c spec > sayd his would lead to owl full which might have been true for owl1 but not > for owl2. > > Greetings Michel > > > > > > Dr. ir. H.M. (Michel) Böhms > Senior Data Scientist > > T +31888663107 > M +31630381220 > E [email protected] > Location > > > <image001.gif> > This message may contain information that is not intended for you. If you are > not the addressee or if this message was sent to you by mistake, you are > requested to inform the sender and delete the message. TNO accepts no > liability for the content of this e-mail, for the manner in which you use it > and for damage of any kind resulting from the risks inherent to the > electronic transmission of messages. > > > > > Van: [email protected] <[email protected]> Namens > Irene Polikoff > Verzonden: Thursday, November 21, 2019 1:25 AM > Aan: [email protected] > Onderwerp: Re: [topbraid-users] Re: combining owl and skos > > 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 :Eagle. > > 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]> 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]> wrote: > > I would think rdfs:Class, not owl:Class. > > > > On Nov 20, 2019, at 4:48 AM, dprice <[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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/141FBB70-87C7-4838-8187-7355B2559387%40topquadrant.com. > > 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. > > -- > 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/81C29C1A-50BD-4AFA-A7EF-8C85428056A4%40topquadrant.com. > -- > 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/fc4a73c7bab54b9fb948280f0a763673%40tno.nl. -- 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/BC5A0ABB-B03F-4421-9264-1B64422D746F%40topquadrant.com.
