Detecting semantic relations among Ontologies with a CBR system. - Manel Kolli; Zizette Boufaïda 001 (IADIS AC (1), 2009)

A description logics formalization for the ontology matching. - Manel Kolli; Zizette Boufaïda 001 (WCIT, 2011)

Formalising and repairing semantic networks of ontologies with linear temporal logics. - Manel Kolli (Int. J. Metadata Semant. Ontologies, 2016)

A Kripke Structure for the Ontology Alignment. - Manel Kolli (ACIT, 2018)

A New Approach for Formal and Coherent Ontology Alignment. - Manel Kolli (Int. J. Organ. Collect. Intell., 2022)

Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. - Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri (Int. J. Organ. Collect. Intell., 2022)

A bigraphical approach to model and verify ontology alignment. - Manel Kolli (Int. J. Ad Hoc Ubiquitous Comput., 2023)

BRS-based Model for the Specification of Multi-view Point Ontology. - Manel Kolli (Appl. Comput. Syst., 2023)