Derivation of Event-B Models from OWL Ontologies Eman H. Alkhammash MATEC Web Conf., 76 (2016) 04008 Published online: 21 October 2016 DOI: 10.1051/matecconf/20167604008