Home / Advanced Search

  • Title/Keywords

  • Author/Affliations

  • Journal

  • Article Type

  • Start Year

  • End Year

Update SearchingClear
  • Articles
  • Online
Search Results (1)
  • Open Access

    ARTICLE

    Graphical Transformation of OWL Ontologies to Event-B Formal Models

    Eman H. Alkhammash*

    CMC-Computers, Materials & Continua, Vol.70, No.2, pp. 3733-3750, 2022, DOI:10.32604/cmc.2022.015987 - 27 September 2021

    Abstract Formal methods use mathematical models to develop systems. Ontologies are formal specifications that provide reusable domain knowledge representations. Ontologies have been successfully used in several data-driven applications, including data analysis. However, the creation of formal models from informal requirements demands skill and effort. Ambiguity, inconsistency, imprecision, and incompleteness are major problems in informal requirements. To solve these problems, it is necessary to have methods and approaches for supporting the mapping of requirements to formal specifications. The purpose of this paper is to present an approach that addresses this challenge by using the Web Ontology Language… More >

Displaying 1-10 on page 1 of 1. Per Page