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...
| Main Authors: | , , , |
|---|---|
| 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 |
| _version_ | 1819132585808232448 |
|---|---|
| author | Yamine Ait Ameur Idir Ait Sadoune Kahina Hacid Linda Mohand Oussaid |
| author_facet | Yamine Ait Ameur Idir Ait Sadoune Kahina Hacid Linda Mohand Oussaid |
| author_sort | Yamine Ait Ameur |
| collection | DOAJ |
| 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. |
| first_indexed | 2024-12-22T09:33:45Z |
| format | Article |
| id | doaj.art-211ac8b3581b449db7dbbfbd361d15e7 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-22T09:33:45Z |
| publishDate | 2018-05-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-211ac8b3581b449db7dbbfbd361d15e72022-12-21T18:30:53ZengOpen 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 |
| 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 |
| title | 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_short | 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 |
| url | http://arxiv.org/pdf/1805.05518v1 |
| work_keys_str_mv | AT yamineaitameur formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform AT idiraitsadoune formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform AT kahinahacid formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform AT lindamohandoussaid formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform |