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
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
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
>
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
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
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
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