Formal modelling of ontologies within Event-B

Yamine Aït-Ameur (1, 2) , Idir Ait-Sadoune (3) , Kahina Hacid (4) , Linda Mohand Oussaid (3)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)
3 LRI - Laboratoire de Recherche en Informatique
4 IRIT-SMAC - Systèmes Multi-Agents Coopératifs

This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper, we particularly describe how ontologies are formalised as Event-B theories.

Domaines: Modélisation et simulation

Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal modelling of ontologies within Event-B. First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China. ⟨hal-01636944⟩