Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
This work addresses the challenge of formalizing domain knowledge for design models, but it appears incremental as it applies an existing method (Event-B) to a specific domain without claiming broad advancements.
The paper tackles the problem of making explicit domain knowledge in design models by formalizing ontologies as Event-B theories, integrating them through an annotation mechanism as part of the French ANR IMPEX research project.
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.