Building Formal Semantic Domain Model: An Event-B Based Approach

Autor: Linda Mohand-Oussaid, Idir Ait-Sadoune

Publikováno v: 9th International Conference on Model and Data Engineering-MEDI 2019
9th International Conference on Model and Data Engineering-MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩
Model and Data Engineering ISBN: 9783030320645
MEDI

International audience; Ontologies are structured data models used to describe a set of concepts related to a specific domain, they describe also the semantic properties of these concepts. Formal development process aims to develop a system with resp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3dd19d41e69ea98f84873a6c0c9f0e96
https://hal.archives-ouvertes.fr/hal-02385378