In the description of the TechnicalResource there is still a restriction "equivalent To: isAssignedTo some ProcessOperator". However, the domain of isAssignedTo is ProcessOperator and the range is TechnicalResource. This causes an equation with class owl:nothing .