Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Electronic Proceedings in Theoretical Computer Science Année : 2018

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

Résumé

This paper reports on the results of the French ANR IMPEX research project dealing with making ex- plicit 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 mecha- nism. 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.

Dates et versions

hal-01797549 , version 1 (22-05-2018)

Identifiants

Citer

Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. Electronic Proceedings in Theoretical Computer Science, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩. ⟨hal-01797549⟩
217 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More