Login / Signup
Manel Kolli
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 4
Top Topics
Ontology Alignment
Reactive Systems
Mazurkiewicz Traces
Temporal Logic
Top Venues
ACIT
Int. J. Ad Hoc Ubiquitous Comput.
Int. J. Metadata Semant. Ontologies
Appl. Comput. Syst.
</>
Publications
</>
Manel Kolli
BRS-based Model for the Specification of Multi-view Point Ontology.
Appl. Comput. Syst.
28 (1) (2023)
Manel Kolli
A bigraphical approach to model and verify ontology alignment.
Int. J. Ad Hoc Ubiquitous Comput.
43 (3) (2023)
Manel Kolli
A Kripke Structure for the Ontology Alignment.
ACIT
(2018)
Manel Kolli
Formalising and repairing semantic networks of ontologies with linear temporal logics.
Int. J. Metadata Semant. Ontologies
11 (4) (2016)
Manel Kolli
,
Zizette Boufaïda
A description logics formalization for the ontology matching.
WCIT
(2011)
Manel Kolli
,
Zizette Boufaïda
Detecting semantic relations among Ontologies with a CBR system.
IADIS AC (1)
(2009)