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]. For more options, visit https://groups.google.com/d/optout.
