Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software OntoEvent-B
OntoEvent-B - A Generator of Event-B contexts from Ontologies
Date of the last release: 01 January 2017

Person in charge : AIT-SADOUNE Idir


In the context of IMPEX project, two modeling approaches are proposed to formalize ontology description using the Event-B models. The first one defines a formal approach to encode ontologies directly as Event-B Contexts elements (shallow approach). The second approach uses deep modeling in which first ontology generic concepts are defined in Event-B Contexts and then ontologies are defined as specific instances of these generic models in other Event-B Contexts.
The OntoEventB Rodin plug-in implements the proposed approaches and it has been developed to automatically support the formalisation of ontologies, described with ontology description languages like OWL, PLIB and RDFS, using set theory and predicate logic supported by the Event-B method.

More information: http://wdi.supelec.fr/software/OntoEventB

Software



Research activities
  Formalisation of (Specification and Programming) Languages in Proof Assistants

Members
  AIT-SADOUNE Idir

Group
  Heterogeneous Modeling

Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE