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

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

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. Even...

Full description

Bibliographic Details
Main Authors: Yamine Ait Ameur, Idir Ait Sadoune, Kahina Hacid, Linda Mohand Oussaid
Format: Article
Language:English
Published: Open Publishing Association 2018-05-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1805.05518v1
id doaj-211ac8b3581b449db7dbbfbd361d15e7
record_format Article
spelling doaj-211ac8b3581b449db7dbbfbd361d15e72020-11-25T01:18:00ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802018-05-01271Proc. IMPEX 2017 and FM&MDD 2017243310.4204/EPTCS.271.2:3Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin PlatformYamine Ait Ameur0Idir Ait Sadoune1Kahina Hacid2Linda Mohand Oussaid3 IRIT/INPT-ENSEEIHT, Toulouse, France LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France IRIT/INPT-ENSEEIHT, Toulouse, France LRI/CentraleSupelec/Paris-Saclay University, Plateau de Saclay, France 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.http://arxiv.org/pdf/1805.05518v1
collection DOAJ
language English
format Article
sources DOAJ
author Yamine Ait Ameur
Idir Ait Sadoune
Kahina Hacid
Linda Mohand Oussaid
spellingShingle 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
author_facet Yamine Ait Ameur
Idir Ait Sadoune
Kahina Hacid
Linda Mohand Oussaid
author_sort Yamine Ait Ameur
title Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
title_short Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
title_full Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
title_fullStr Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
title_full_unstemmed Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
title_sort formal modelling of ontologies : an event-b based approach using the rodin platform
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2018-05-01
description 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.
url http://arxiv.org/pdf/1805.05518v1
work_keys_str_mv AT yamineaitameur formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform
AT idiraitsadoune formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform
AT kahinahacid formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform
AT lindamohandoussaid formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform
_version_ 1725144382078713856

Similar Items