Z-based Formalization of Kits of Changes to Maintain Ontology Consistency

Najla Sassi, Wassim Jaziri, Faiez Gargouri. Z-based Formalization of Kits of Changes to Maintain Ontology Consistency. In Jan L. G. Dietz, editor, KEOD 2009 - Proceedings of the International Conference on Know ledge Engineering and Ontology Development, Funchal - Madeira, Portugal, October 6-8, 2009. pages 388-391, INSTICC Press, 2009.

Abstract

Abstract is missing.