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

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01797549
Contributor : Idir Ait Sadoune <>
Submitted on : Tuesday, May 22, 2018 - 4:42:17 PM
Last modification on : Thursday, January 16, 2020 - 3:31:04 PM

Links full text

Identifiers

Citation

Yamine Ait 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, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩. ⟨hal-01797549⟩

Share

Metrics

Record views

224