<abstract xmlns="http://www.w3.org/1999/xhtml">

<p>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.</p>
</abstract>

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.

BRS-based Model for the Specification of  Multi-view Point Ontology

Applied Mathematics and Didactics Laboratory MAD

Applied Computer Systems

This work is licensed under the Creative Commons Attribution 4.0 International License.

{"article-title":"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...

BRS-based Model for the Specification of Multi-view Point Ontology

Publicado en línea: 17 ago 2023

Páginas: 78 - 91

DOI: https://doi.org/10.2478/acss-2023-0008

Palabras clave
bigraphical reactive system, formal methods, ontology, viewpoint

© 2023 Manel Kolli, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

BRS-based Model for the Specification of Multi-view Point Ontology

Publicado en línea: 17 ago 2023

Páginas: 78 - 91

DOI: https://doi.org/10.2478/acss-2023-0008

Palabras clavebigraphical reactive system, formal methods, ontology, viewpoint

© 2023 Manel Kolli, published by Sciendo

This work is licensed under the Creative Commons Attribution 4.0 International License.

Palabras clave
bigraphical reactive system, formal methods, ontology, viewpoint