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.

@inproceedings{SassiJG09a,
  title = {Z-based Formalization of Kits of Changes to Maintain Ontology Consistency},
  author = {Najla Sassi and Wassim Jaziri and Faiez Gargouri},
  year = {2009},
  tags = {ontologies, rule-based, ontology, consistency},
  researchr = {https://researchr.org/publication/SassiJG09a},
  cites = {0},
  citedby = {0},
  pages = {388-391},
  booktitle = {KEOD 2009 - Proceedings of the International Conference on Know ledge Engineering and Ontology Development, Funchal - Madeira, Portugal, October 6-8, 2009},
  editor = {Jan L. G. Dietz},
  publisher = {INSTICC Press},
  isbn = {978-989-674-012-2},
}