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

<p>We propose a formal approach based on Bigraphical Reactive Systems (BRS) to provide a formal modeling of multi-viewpoint ontology alignment by composition systems’ structure using bigraphs their dynamic behaviors using bigraphical reaction rules. In the first phase of this approach, we address the modeling of the static structure the dynamic behavior of multi-viewpoint ontology alignment systems. We show how bigraphs enable the description of the di erent multi-view point ontology entities. Furthermore, we define a set of bigraphical reaction rules to model the dynamic nature of the alignment. We introduce composition strategies to describe multi-viewpoint ontology alignment systems’ behaviors. Then, we present a case study on which we illustrate the application of our proposed approach. Finally, we combine the logical reflection of Maude language the hierarchical structure of the BRS to provide an executable formal model for multi-viewpoint ontology alignment by composition systems.</p>
</abstract>

We propose a formal approach based on Bigraphical Reactive Systems (BRS) to provide a formal modeling of multi-viewpoint ontology alignment by composition systems’ structure using bigraphs their dynamic behaviors using bigraphical reaction rules. In the first phase of this approach, we address the modeling of the static structure the dynamic behavior of multi-viewpoint ontology alignment systems. We show how bigraphs enable the description of the di erent multi-view point ontology entities. Furthermore, we define a set of bigraphical reaction rules to model the dynamic nature of the alignment. We introduce composition strategies to describe multi-viewpoint ontology alignment systems’ behaviors. Then, we present a case study on which we illustrate the application of our proposed approach. Finally, we combine the logical reflection of Maude language the hierarchical structure of the BRS to provide an executable formal model for multi-viewpoint ontology alignment by composition systems.

Formal modeling of multi-viewpoint ontology alignment by mappings composition

Applied Mathematics Didactics Laboratory MAD

Acta Universitatis Sapientiae, Informatica

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

{"article-title":"Formal modeling of multi-viewpoint ontology alignment by mappings composition"}

We propose a formal approach based on Bigraphical Reactive Systems (BRS) to provide a formal modeling of multi-viewpoint ontology alignment by composition...

Formal modeling of multi-viewpoint ontology alignment by mappings composition

Publié en ligne: 12 déc. 2023

Pages: 181 - 204

Reçu: 06 mai 2023

DOI: https://doi.org/10.2478/ausi-2023-0013

Mots clés
MVp ontology alignment, viewpoint, composition, formal methods, bigraphical reactive system

© 2023 Manel Kolli, published by Sciendo

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

Formal modeling of multi-viewpoint ontology alignment by mappings composition

Publié en ligne: 12 déc. 2023

Pages: 181 - 204

Reçu: 06 mai 2023

DOI: https://doi.org/10.2478/ausi-2023-0013

Mots clésMVp ontology alignment, viewpoint, composition, formal methods, bigraphical reactive system

© 2023 Manel Kolli, published by Sciendo

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

Mots clés
MVp ontology alignment, viewpoint, composition, formal methods, bigraphical reactive system