Paper Info
Title
A Kripke Structure for the Ontology Alignment
Abstract
In this paper, we propose a new way for the ontology alignment formalization using the Kripke structure in order to be able to exploiting a reliable tool as the Model checking. This later is a powerful mechanism for system verification. Here, the Kripke structures are used to model the behaviors of the ontology of alignment.
Year
DOI
Venue
2018
10.1109/ACIT.2018.8672692
2018 International Arab Conference on Information Technology (ACIT)
Keywords
DocType
ISSN
Ontologies,Semantics,Model checking,Cognition,Reliability,Tools,Semantic Web
Conference
1812-0857
ISBN
Citations 
PageRank 
978-1-7281-0385-3
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Manel Kolli100.34