OWL2_DL: OK
OWL2_QL: OK
OWL2_EL: OK
OWL2_RL: 1 violations
OWL2_FULL: OK