Class relations in OWL
<p>Given: </p>

<p>Three owl classes: <code>emptyTask</code>, <code>task</code>, and <code>userTask</code>.</p>

<p>The relationship between the classes are as follows: <code>userTask</code> is <code>equivalentTo</code> <code>task</code> - which implies all individuals that are in <code>userTask</code> are also in <code>task</code>. <code>emptyTask</code> is a <code>subclassOf</code> <code>task</code>.</p>

<p>But what I want to achieve with such relation is that: all Individuals from <code>userTask</code> are also in <code>task</code> (done, reasoner logic). All individuals from <code>emptyTask</code> are in <code>task</code>, but <code>emptyTask</code> and <code>userTask</code> have no relation to each other. They are not in any way related in my Ontology. </p>

<p>Using 3 times equivalentTo is not what i wanna do. Hope you guys can understand what i want to achieve.</p>

<p>How would such a relation look like in Protege for instance. A answer in DL might be helpfull, but i would prefer a practical answer. This picture might help to understand want i want to say with all indiviudals. Screenshot from protege with hermit reasoner:</p>

<p><img src="https://i.stack.imgur.com/uSdUP.png" alt="runningReasoner from class Task"></p>

<p>This picture shows a <code>equivalentTo</code> relation between <code>task</code> and <code>userTask</code>. All individuals from <code>userTask</code> are also in <code>task</code>(reasoner logic)</p>

<p>When I want to open <code>task</code> with the reasoner i want to see <strong>all</strong> individuals from <code>userTask</code> and <code>emptyTask</code></p>

<p>When I want to open <code>userTask</code> with the reasoner I want to see individuals from <code>task</code> only.</p>

<p>When I want to open <code>emptyTask</code> with the reasoner I want to see no Individuals from <code>userTask</code> or <code>Task</code>.</p>

<p>The question is how should I set the relations to each other to achieve so?</p>

<p><strong>edit:</strong>
<a href="https://i.stack.imgur.com/W8cCl.png" rel="nofollow noreferrer">screen 1</a>
<a href="https://i.stack.imgur.com/CTeIZ.png" rel="nofollow noreferrer">Screen 2</a></p>

<p>As you can see even with 3 classes it is not working. The button is always gray. I tried 2 different version of Protege!</p>