Union in range of the role

[kaplan196883]

BTW there's a similar issue with assertions on relations.

Both these work:

No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error.

No first-name is last-name.
Every first-name connects-with nothing-but thing that is a last-name.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Causes error too.

But:

No first-name is last-name.
No first-name is pesel-num.
Every first-name connects-with nothing-but thing that is a last-name and-or pesel-num.
First-Name-6 is a first-name.
First-Name-7 is a first-name.
First-Name-6 connects-with First-Name-7.
Does not cause an error.

@apohllo

Author
apohllo commented 4 days ago
The RDF/OWL conversions are as follows, for the first type of assertion:

<rdfs:subClassOf>
  <owl:Restriction>
    <owl:onProperty rdf:resource="http://www.cognitum.eu/onto#connectsWith" />
    <owl:allValuesFrom rdf:resource="http://www.cognitum.eu/onto#lastName" />
  </owl:Restriction>
</rdfs:subClassOf>

and for the second type:

<rdfs:subClassOf>
  <owl:Restriction>
    <owl:onProperty rdf:resource="http://www.cognitum.eu/onto#connectsWith" />
    <owl:allValuesFrom>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.cognitum.eu/onto#lastName" />
          <rdf:Description rdf:about="http://www.cognitum.eu/onto#peselNum" />
        </owl:unionOf>
      </owl:Class>
    </owl:allValuesFrom>
  </owl:Restriction>
</rdfs:subClassOf>