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
- 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
- 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
- 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
- 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
- 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
- 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
- R. Milner, The Space and Motion of Communicating Agents. Cambridge University Press, 2009.
- 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
- G. Falquet and C. L. Mottaz Jiang, “Navigation hypertexte dans uneontologie multi-points de vue,” in Nimes TIC-01 Conference, Nîmes, France, 2001.
- 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
- 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
- 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.
- 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
- 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
- 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