BRS-based Model for the Specification of Multi-view Point Ontology
In this paper, we propose a new approach, based on bigraphic reactive systems (BRS), to provide a formal modelling of the architectural elements of a Multi-Viewpoints ontology (MVp ontology). We introduce a formal model in which the main elements of MVp ontology find their definition in terms of big...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2023-06-01
|
| Series: | Applied Computer Systems |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/acss-2023-0008 |
| _version_ | 1828716410534100992 |
|---|---|
| author | Kolli Manel |
| author_facet | Kolli Manel |
| author_sort | Kolli Manel |
| collection | DOAJ |
| description | In this paper, we propose a new approach, based on bigraphic reactive systems (BRS), to provide a formal modelling of the architectural elements of a Multi-Viewpoints ontology (MVp ontology). We introduce a formal model in which the main elements of MVp ontology find their definition in terms of bigraphic concepts by preserving their semantics. Besides, we enrich the proposed model with reaction rules in order to handle the dynamic reactions of MVp ontology. In order to confirm the applicability of our approach, we have carried out a case study using the proposed model. |
| first_indexed | 2024-03-12T14:12:00Z |
| format | Article |
| id | doaj.art-c36cbf202b4b4cb9a6585f4b352a6ae9 |
| institution | Directory Open Access Journal |
| issn | 2255-8691 |
| language | English |
| last_indexed | 2024-03-12T14:12:00Z |
| publishDate | 2023-06-01 |
| publisher | Sciendo |
| record_format | Article |
| series | Applied Computer Systems |
| spelling | doaj.art-c36cbf202b4b4cb9a6585f4b352a6ae92023-08-21T06:43:11ZengSciendoApplied Computer Systems2255-86912023-06-01281789110.2478/acss-2023-0008BRS-based Model for the Specification of Multi-view Point OntologyKolli Manel01Applied Mathematics and Didactics Laboratory MAD, Higher Normal School of Constantine, Constantine, AlgeriaIn this paper, we propose a new approach, based on bigraphic reactive systems (BRS), to provide a formal modelling of the architectural elements of a Multi-Viewpoints ontology (MVp ontology). We introduce a formal model in which the main elements of MVp ontology find their definition in terms of bigraphic concepts by preserving their semantics. Besides, we enrich the proposed model with reaction rules in order to handle the dynamic reactions of MVp ontology. In order to confirm the applicability of our approach, we have carried out a case study using the proposed model.https://doi.org/10.2478/acss-2023-0008bigraphical reactive system formal methodsontologyviewpoint |
| spellingShingle | Kolli Manel BRS-based Model for the Specification of Multi-view Point Ontology Applied Computer Systems bigraphical reactive system formal methods ontology viewpoint |
| title | BRS-based Model for the Specification of Multi-view Point Ontology |
| title_full | BRS-based Model for the Specification of Multi-view Point Ontology |
| title_fullStr | BRS-based Model for the Specification of Multi-view Point Ontology |
| title_full_unstemmed | BRS-based Model for the Specification of Multi-view Point Ontology |
| title_short | BRS-based Model for the Specification of Multi-view Point Ontology |
| title_sort | brs based model for the specification of multi view point ontology |
| topic | bigraphical reactive system formal methods ontology viewpoint |
| url | https://doi.org/10.2478/acss-2023-0008 |
| work_keys_str_mv | AT kollimanel brsbasedmodelforthespecificationofmultiviewpointontology |