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

被引：1
|
作者：
Ait Ameur, Yamine [1 ]
Ait Sadoune, Idir [2 ]
Hacid, Kahina [1 ]
Mohand Oussaid, Linda [2 ]
机构：
[1] IRIT INPT ENSEEIHT, Toulouse, France
[2] LRI Cent Supelec, Gif Sur Yvette, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2018年 / 271期
关键词：
D O I：
10.4204/EPTCS.271.2
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：24 / 33
页数：10
相关论文
共 50 条
  • [21] Formal Specification of Asynchronous Checkpointing using Event-B
    Singh, Natthan
    Chandra, Manik
    Yadav, Divakar
    2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER ENGINEERING AND APPLICATIONS (ICACEA), 2015, : 659 - 664
  • [22] Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
    Ait-Sadoune, Idir
    Ait-Ameur, Yamine
    CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES, 2015, : 1 - 27
  • [23] A Formal Approach Combining Event-B and PDDL for Planning Problems
    Ammar, Sabrine
    Bhiri, Mohamed Tahar
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 261 - 268
  • [24] Reasoned Modelling with Event-B
    Butler, Michael
    ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 51 - 109
  • [25] A formal approach for verifying QoS variability in Web services composition using EVENT-B
    Abbassi, Imed
    Graiet, Mohamed
    Boubaker, Souha
    Kmimech, Mourad
    Ben Hadj-Alouane, Nejib
    2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS), 2015, : 519 - 526
  • [26] Formal Analysis of Database Trigger Systems Using Event-B
    Anh Hong Le
    To Van Khanh
    Truong Ninh Thuan
    INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION, 2021, 9 (04) : 1 - 16
  • [27] A graphical tool for formal verification using Event-B modeling
    Rahul Karmakar
    Multimedia Tools and Applications, 2024, 83 : 10899 - 10923
  • [28] A graphical tool for formal verification using Event-B modeling
    Karmakar, Rahul
    MULTIMEDIA TOOLS AND APPLICATIONS, 2024, 83 (04) : 10899 - 10923
  • [29] Formal Verification of Software Safety Criteria Using Event-B
    Xu, Lili
    Zhang, Hong
    PROCEEDINGS OF 2014 10TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY (ICRMS), VOLS I AND II, 2014, : 342 - 347
  • [30] Derivation of Event-B Models from OWL Ontologies
    Alkhammash, Eman H.
    20TH INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2016), 2016, 76
12345