CentraleSupélecDépartement informatique
Plateau de Moulon
3 rue Joliot-Curie
F-91192 Gif-sur-Yvette cedex
OntoEventB: A Generator of Event-B contexts from Ontologies

The OntoEventB plug-in

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.

Download & Installation Instructions

The OntoEventB tool is developed as an Eclipse plug-in to integrate it into a Rodin platform which is an Eclipse product and an IDE (Integrated Development Environment) supporting Event-B developments.

To use OntoEventB plug-in in your Rodin platform instance, you must install the plug-in by using the Install New Software menu item accessible from the Help menu (Help −− > Install New Software). The use of this menu allows to launch the Install New Software wizard that offers you a possibility to add new software to your platform. You click on the Add button and you may type the location of the update site (http://wdi.supelec.fr/OntoEventB-update-site/) of the OntoEventB plug-in for downloading and installing the plug-in automatically.

Contacting the Author

Idir AIT SADOUNE : Assistant Professor at CentraleSupélec. Professional web page.

Feel free to send me any comments about plugin and this page.