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.

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