Formalizing Ontologies for AI Models Validation: from OWL to Event-B | IEEE Conference Publication | IEEE Xplore