collaborators

1 paper

cs.SE2018

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Yamine Ait Ameur, Idir Ait Sadoune, Kahina Hacid +1

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 wit…