pith. sign in

arxiv: 1805.05518 · v1 · pith:SCI2JTURnew · submitted 2018-05-15 · 💻 cs.SE · cs.AI· cs.LO

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

Yamine Ait Ameur (IRIT/INPT-ENSEEIHT , Toulouse , France) , Idir Ait Sadoune (LRI/CentraleSupelec/Paris-Saclay University , Plateau de Saclay , Kahina Hacid (IRIT/INPT-ENSEEIHT , Linda Mohand Oussaid (LRI/CentraleSupelec/Paris-Saclay University This is my paper
classification 💻 cs.SE cs.AIcs.LO
keywords event-bontologiesdesignformalformalisedmodellingmodelstheories
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.