Hi, OWL class hierarchies are super-sub class hierarchies, not inheritance, so you have to think in more terms of set theory.
In the case you describe, the logic is wrong. Equivalent class means “has exactly the same set of members”. A superclass may have more members that its subclass, and based on that I hope it’s clear that the inference you’ve described is actually not valid. FWIW with SPIN rules you can generate whatever you want, regardless of their logic being valid (i.e. if you are “perverting” the meaning of equivalentClass for another purpose you can generate whatever you want with SPIN, just don’t use a reasoner over that same data). Hope that helps, David UK +44 7788 561308 US +1 336 283 0606 > On 21 Jul 2017, at 16:36, joakim.soderberg via TopBraid Suite Users > <[email protected]> wrote: > > Hi, > I wonder if it's possible in Topbraid to automatically (perhaps by inference) > inherit the value of a property from a parent class to its subclass? > > For example, say you have the following class hierarchy > > ex:Vehicle > ex:Car > ex:Sedan > > Some classes have the property owl:equivalenClass set to some value, for > example: > > ex:Vehicle > owl:equivalentClass wd:MeanOfTransportation > ex:Sedan > owl:equivalentClass wd:Sedan > > > In the case owl:equivalentClass is not set to a value, it should take the > value of it's parent class. In the above example: > > > > ex:Car > owl:equivalentClass wd:MeanOfTransportation > > > Can this be accomplished automatically (i.e. an assertion generated) in > TopBraid? > > > > > > > > > -- > 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 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.
