When a node violates a constraint, the owl engine inform the use with a "reasoning error" but do not provide information on the cause
When a node violates a constraint, the owl engine inform the use with a "reasoning error" but do not provide information on the cause