Z-BASED FORMALIZATION OF KITS OF CHANGES TO MAINTAIN ONTOLOGY CONSISTENCY

Najla Sassi, Wassim Jaziri, Faiez Gargouri

2009

Abstract

In changing environments, supporting ontology’s evolution is essential to integrate changes and to manage ontology versions. It is also important to guarantee the consistency of ontology when changes occur. In this paper, we present an ontology evolution approach based on kits of changes. These kits are based on changes operators and additional changes which correct inconsistencies caused by the changes operators. A formalization of the kits of changes is also proposed based on the Z language.

References

  1. Klein M., Fensel, D., 2001, Ontology versioning for the Semantic Web, International Semantic Web Working Symposium, USA.
  2. Klein M., Fensel D., Kiryakov A., Ognyanov D., 2002, Ontology versioning and change detection on the web, 13th International Conference on Knowledge Engineering and Knowledge Management (EKAW02), Spain.
  3. Noy N., Klein, M., 2004, Ontology evolution: Not the same as schema evolution, Knowledge and Information Systems, 6(4):428-440.
  4. Sassi, N., Jaziri, W., Gargouri, F., 2008, Formalisation of evolution Changes to update domain ontologies, In Proceedings of International Arab Conference on Information Technology (ACIT'2008), Hammamet, Tunisia.
  5. Sassi N., Jaziri W. Types de changements et leurs effets sur l'évolution de l'ontologie. in Proceedings of the Journées Francophones sur les ontologies (JFO'2007). p.75-93. Sousse. Tunisia. 2007.
  6. Stojanovic L., 2004, Methods and Tools for Ontology Evolution, PhD thesis, University of Karlsruhe.
Download


Paper Citation


in Harvard Style

Sassi N., Jaziri W. and Gargouri F. (2009). Z-BASED FORMALIZATION OF KITS OF CHANGES TO MAINTAIN ONTOLOGY CONSISTENCY . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 388-391. DOI: 10.5220/0002284903880391


in Bibtex Style

@conference{keod09,
author={Najla Sassi and Wassim Jaziri and Faiez Gargouri},
title={Z-BASED FORMALIZATION OF KITS OF CHANGES TO MAINTAIN ONTOLOGY CONSISTENCY},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={388-391},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002284903880391},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - Z-BASED FORMALIZATION OF KITS OF CHANGES TO MAINTAIN ONTOLOGY CONSISTENCY
SN - 978-989-674-012-2
AU - Sassi N.
AU - Jaziri W.
AU - Gargouri F.
PY - 2009
SP - 388
EP - 391
DO - 10.5220/0002284903880391