This work is licensed under the Creative Commons Attribution 4.0 International License.
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.8672692Search in Google Scholar
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.10004262Search in Google Scholar
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.1504461Search in Google Scholar
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.086193Search in Google Scholar
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_11Search in Google Scholar
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.3199026Search in Google Scholar
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.002Search in Google Scholar
R. Milner, The Space and Motion of Communicating Agents. Cambridge University Press, 2009.Search in Google Scholar
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_27Search in Google Scholar
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
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_17Search in Google Scholar
M. D’Aquin, “Un portail sémantique pour la gestion des connaissances en cancérologie,” PhD Dissertation, 2005. https://theses.hal.science/tel-00011698/documentSearch in Google Scholar
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
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.131775Search in Google Scholar
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.011Search in Google Scholar
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.2231985Search in Google Scholar