@Inproceedings{EPTCS271.2,
  author    = {Ait Ameur, Yamine and Ait Sadoune, Idir and Hacid, Kahina and Mohand Oussaid, Linda},
  year      = {2018},
  title     = {Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform},
  editor    = {Laleau, R\'egine and M\'ery, Dominique and Nakajima, Shin and Troubitsyna, Elena},
  booktitle = {{\rm Proceedings Joint  Workshop on}
               Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) {\rm and} Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM\&MDD),
               {\rm Xi'An, China, 16th November 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {271},
  publisher = {Open Publishing Association},
  pages     = {24-33},
  doi       = {10.4204/EPTCS.271.2},
}