Re: [topbraid-users] inherit property value from parent class

2017-07-25 Thread Irene Polikoff
As David explained, the semantics of owl:equivalentClass is as follows: ?x owl:equivalentClass ?y ?r1 a ?x ?r2 a ?y means (infers): ?r1 a ?y ?r2 a ?x Irene Polikoff > On Jul 25, 2017, at 2:59 PM, 'Joakim Soderberg' via TopBraid Suite Users > wrote: > > I

Re: [topbraid-users] inherit property value from parent class

2017-07-25 Thread 'Joakim Soderberg' via TopBraid Suite Users
I remember now, that I was “lured" in to using owl:equivalentClass instead of an ObjectProperty such as skos:exactMatch, because it's subject must be a Class; thinking that I make my mappings on Class level. > On Jul 21, 2017, at 7:25 PM, Irene Polikoff wrote: > > I

Re: [topbraid-users] inherit property value from parent class

2017-07-21 Thread 'Joakim Soderberg' via TopBraid Suite Users
I haven’t used SPIN or SHACL rules, but if you say it’s possible to scope a rule for all sub-classes for example, I’ll give it a try. /J > On Jul 21, 2017, at 7:25 PM, Irene Polikoff wrote: > > I am not sure what you mean. You only need one rule because it would be >

Re: [topbraid-users] inherit property value from parent class

2017-07-21 Thread Irene Polikoff
I am not sure what you mean. You only need one rule because it would be totally generic: if there is no value for property x, find the nearest parent class that has a value for this property and infer it. You then, need to scope the applicability of the rule. In SPIN, scope (target of the

Re: [topbraid-users] inherit property value from parent class

2017-07-21 Thread Irene Polikoff
David is correct. I would highly recommend that you don't use owl:equivalentClass because you are changing semantic of owl:equivalentClass by implementing such rule. Just create your own custom property or you can use skos:exactMatch. And then create the inference rule. SHACL just officially

Re: [topbraid-users] inherit property value from parent class

2017-07-21 Thread David Price
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

[topbraid-users] inherit property value from parent class

2017-07-21 Thread joakim.soderberg via TopBraid Suite Users
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