OWL/Protégé : EquivalentTo Class Definition

Question

It seems to me that the definition of a EquivalentTo class doesn't work properly in Protégé 5.2.0. Hopefully, it is a misunderstanding on my side.

Here is the example : Link to a simple ontology that gives an unexpected result.

The problem happens when I use a min cardinality condition on some ObjectProperties. In the provided example, the classification in SubClassObject of the Object(using Pellet) doesn't work for the hasPart min 2 Part but does for hasPart min 1 Part. As you see, the element5 has 4 Parts as defined.

Has anybody ever met a similar issue?

Thank you in advance,

In Protégé, *Edit > Make all individuals different*. Possible duplicate of [Inferring knowledge in OWL by counting properties](https://stackoverflow.com/questions/46656880/inferring-knowledge-in-owl-by-counting-properties) — Stanislav Kralin, Mar 13 '18 at 17:53
`min 2` needs explicit distinct individuals...OWL has **no** *Unique Names Assumption* — UninformedUser, Mar 14 '18 at 07:13

score 0 · Accepted Answer · answered Jun 11 '18 at 20:56

0

As @StanislavKralin said : Edit > Make all individuals different.

In my personal experience afterwards, be aware that it will considerably increase computing time of reasoning.

answered Jun 11 '18 at 20:56

Gilles-Antoine Nys

1,481
16
21

OWL/Protégé : EquivalentTo Class Definition

1 Answers1