OWL2_DL: OK
OWL2_QL: 2 violations
OWL2_EL: 8 violations
OWL2_RL: OK
OWL2_FULL: OK