Fix annotation assertion of OWL 2 Functional