Hi, You’ve stated this :
A rdf:type owl:Class B rdf:type owl:Class B rdfs:subClassOf A p rdf:type owl:DatatypeProperty p rdfs:domain A and now let’s add individuals: I0 rdf:type A I1 rdf:type B an OWL reasoner will infer I1 rdf:type A so if you look at the inferences, I1 is an member of A just like I0 is a member of A and therefore the property p is just as “possible” for I1 as for I0. You do not need the concept of “inheritance” in this picture at all, it’s “subset" that is in play (B being a subset of A … i.e. ALL members of B are members of A). Anything you say wrt members of A and their properties/restrictions is applicable to members of B in the same way because members of B ARE members of A via inference. Cheers, David UK +44 7788 561308 US +1 336 283 0606 > On 10 Feb 2016, at 09:17, Gabriele Morlini <[email protected]> wrote: > > Hi, > > When I define a property "P" with a domain Class "A", TopBraid automatically > add property as "inferred" in the domain of all class and subclass of "A". > > I have already read the previous post: > https://groups.google.com/forum/#!topic/topbraid-users/90SizV7nmWM > https://groups.google.com/forum/#!topic/topbraid-users/90SizV7nmWM > where they debeate of the correctness and semantics of the > inference/Inheritance in OWL/RDFS. > > My question is How it's done by TobBraid? > With a SPIN rule? with a reasoner? other? > > Thanks in advance > Gabriele > > -- > You received this message because you are subscribed to the Google Group > "TopBraid Suite Users", the topics of which include Enterprise Vocabulary > Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid > Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. > To post to this group, send email to [email protected] > --- > 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]>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to [email protected] --- 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]. For more options, visit https://groups.google.com/d/optout.
