Affiliation:
1. 1 Applied Mathematics Didactics Laboratory MAD , Higher Normal School of Constantine , Algeria .
Abstract
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.
Reference21 articles.
1. A. Algergawy, S. Massmann, E. Rahm, A clustering-based approach for large-scale ontology matching. ADBIS 2011, Vienna, Austria, 2011, pp. 415–428. ⇒184
2. J. Chakraborty, H.M. Zahera, M.A. Sherif, S.K. Bansal, Ontoconnect: domain-agnostic ontology alignment using graph embedding with negative sampling. ICMLA 2021, Pasadena, USA, 2021, pp. 942–945. ⇒184
3. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. J. Martf-Oliet Meseguer, CL. Talcott, All about Maude, A High- Performance Logical Framework. Lecture Notes in Computer Science. Springer. 4350 (2007). ⇒200
4. J. Euzenat P. Shvaiko, Ontology Matching. Springer 2007, Heidelberg. (2007) 1–333. ⇒202
5. J. Euzenat, Revision in networks of ontologies. Artificial Intelligence, Elsevier. 228, (2015) 195–216. ⇒184