Universal restriction on select model query
Select model query contains e.g.:
{
?theoryRestriction rdf:type owl:Restriction .
?theoryRestriction owl:onProperty dul:defines .
?theoryRestriction owl:someValuesFrom ?locatumRole .
} UNION {
?theoryRestriction rdf:type owl:Restriction .
?theoryRestriction owl:onProperty dul:defines .
?theoryRestriction owl:allValuesFrom ?locatumRole .
}
The second half should be removed once tables and cups are disjoint.