Work place: University Dr. Tahar Moulay of Saida, Algeria
E-mail: Ahmed.zahaf@univ-saida.dz
Website:
Research Interests: Information Systems, Database Management System, Data Structures and Algorithms
Biography
Ahmed Zahaf received his Engineer degree in computer science from Oran University, Algeria, in 1994, and M. Sc. in computer science from Sidi Bel Abbes University, Algeria, in 2005. Currently, he is a lecturer at Dr Tahar Moulay, University of Saida, Algeria. His research interests include semantic web, Linked data, ontology engineering, knowledge management and information systems.
DOI: https://doi.org/10.5815/ijitcs.2016.08.04, Pub. Date: 8 Aug. 2016
Alignment overcomes divergence in the specification of the semantics of vocabularies by different but overlapping ontologies. Therefore, it enhances semantic interoperability for many web based applications. However, ontology change following applications new requirements or new perception of domain knowledges can leads to undesirable knowledge such as inconsistent and therefore to a useless alignment. Ontologies and alignments are encoded in knowledge bases allowing applications to store only some explicit knowledge while they derive implicit ones by applying reasoning services on these knowledge bases. This underlying representation of ontologies and alignments leads us to follow base revision theory to deal with alignment revision under ontology change. For that purpose, we adapt kernel contraction framework to design rational operators and to formulate the set of postulates that characterize each class of these operators. We demonstrate the connection between each class of operators and the set of postulates that characterize them. Finally, we present algorithms to compute alignment kernels and incision functions. Kernels are sets of correspondences responsible of undesirable knowledge following alignment semantics. Incision functions determine the sets of correspondences to eliminate in order to restore alignment consistency or to realize a successful contraction.
[...] Read more.By Yahia Atig Ahmed Zahaf Djelloul Bouchiha
DOI: https://doi.org/10.5815/ijitcs.2016.07.09, Pub. Date: 8 Jul. 2016
Ontology matching techniques are a solution to overcome the problem of interoperability between ontologies. However, the generated mappings suffer from logical defects that influence their usefulness. In this paper we present a detailed analysis of the problem so-called conservativity principle; alignment between ontologies should never generate new knowledge compared to those generated by reasoning solely on ontologies. We also study the sub-problems; Ontology change and Satisfiability preservation problems and compare the related works and their way to detect and repair conservativity principle. At the end we present a set of open research issues.
[...] Read more.Subscribe to receive issue release notifications and newsletters from MECS Press journals