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

Manel Kolli

doi:10.2478/acss-2023-0008

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.

References

M. Kolli, “A Kripke structure for the ontology alignment,” in International Arab Conference on Information Technology ACIT’2018, Werdanye, Lebanon, Nov. 2018, pp. 1–6. https://doi.org/10.1109/ACIT.2018.8672692
Search in Google Scholar Back to article
M. Kolli, “Formalising and repairing semantic networks of ontologies with linear temporal logics,” International Journal of Metadata, Semantics and Ontologies, vol. 11, no. 4, pp. 264–272, 2016. https://doi.org/10.1504/IJMSO.2016.10004262
Search in Google Scholar Back to article
S. Mishra and S. Jain, “Ontologies as a semantic model in IoT,” International Journal of Computers and Applications, vol. 42, no. 3, pp. 233–243,2020. https://doi.org/10.1080/1206212X.2018.1504461
Search in Google Scholar Back to article
M. Hemam, M. Djezzar, and Z. Boufaida, “Multi-viewpoint ontological representation of composite concepts: a description logics-based approach,” International Journal of Intelligent Information and Database Systems, vol. 10, no. 1–2, pp.51–68, Sep. 2017. https://doi.org/10.1504/IJIIDS.2017.086193
Search in Google Scholar Back to article
P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt, “C-OWL: Contextualizing ontologies,” in International Semantic Web Conference 2003,2003, pp. 164–179. https://doi.org/10.1007/978-3-540-39718-2_11
Search in Google Scholar Back to article
P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt, “Contextualizing ontologies,” Journal of Semantics Web, Jun. 2004. https://doi.org/10.2139/ssrn.3199026
Search in Google Scholar Back to article
R. Milner, “Bigraphs and their algebra,” Electronic Notes in Theoretical Computer Science, vol. 209, pp. 5–19, Apr. 2008. https://doi.org/10.1016/j.entcs.2008.04.002
Search in Google Scholar Back to article
R. Milner, The Space and Motion of Communicating Agents. Cambridge University Press, 2009.
Search in Google Scholar Back to article
M. Sevegnani and M. Calder, “BigraphER: Rewriting and analysis engine for bigraphs,” in Proceedings of the International Conference on Computer Aided Verification, Toronto, Canada, Jul. 2016, pp. 494–501. https://doi.org/10.1007/978-3-319-41540-6_27
Search in Google Scholar Back to article
G. Falquet and C. L. Mottaz Jiang, “Navigation hypertexte dans uneontologie multi-points de vue,” in Nimes TIC-01 Conference, Nîmes, France, 2001.
Search in Google Scholar Back to article
G. Falquet and C. L. Mottaz Jiang, “A model for the collaborative design of multi-point-of-view terminological knowledge bases,” inKnowledge Management and Organizational Memories, R. Dieng and N. Matta,Eds. Kluwer, 2002, pp. 193–202. https://doi.org/10.1007/978-1-4615-0947-9_17
Search in Google Scholar Back to article
M. D’Aquin, “Un portail sémantique pour la gestion des connaissances en cancérologie,” PhD Dissertation, 2005. https://theses.hal.science/tel-00011698/document
Search in Google Scholar Back to article
T. L. Bach, “Construction d’un web sémantique multi-points de vue,” Unpublished Ph.D. dissertation, École des Mines de Paris à Sophia Antipolis, France, 2006.
Search in Google Scholar Back to article
M. Kolli, “A biographical approach to model and verify ontology alignment,” International Journal of Ad Hoc and Ubiquitous Computing, vol. 43, no. 3, pp. 127–143, Jun. 2023. https://doi.org/10.1504/IJAHUC.2023.131775
Search in Google Scholar Back to article
M. Sevegnani and M. Calder, “Bigraphs with sharing,” Theoretical Computer Science, vol. 577, pp. 43–73, Apr. 2015. https://doi.org/10.1016/j.tcs.2015.02.011
Search in Google Scholar Back to article
G. Perrone, S. Debois, and T. Hildebrandt, “A model checker for bigraphs,” in Proceedings of the 27th ACM Symposium in Applied Computing ACM-SAC’12, Mar. 2012, pp. 1320–1325. https://doi.org/10.1145/2245276.2231985
Search in Google Scholar Back to article

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

Abstract

Paradigm

My account