@misc{indiciaeab388a836465,
  title = {Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform},
  author = {Yamine Ait Ameur and Idir Ait Sadoune and Kahina Hacid and Linda Mohand Oussaid},
  year = {2018},
  doi = {10.4204/eptcs.271.2},
  url = {https://arxiv.org/abs/1805.05518},
  note = {Source identifier: 1805.05518}
}