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

Najla Sassi; Wassim Jaziri; Faiez Gargouri

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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

Topics: Ontology Engineering; Ontology Sharing and Reuse

In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 0IC3K, 388-391, 2009 , Funchal - Madeira, Portugal

Authors: Najla Sassi ; Wassim Jaziri and Faiez Gargouri

Affiliation: Sfax University, Tunisia

Keyword(s): Changing environment, ontology, coherence, kits of change, Z language.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Data Engineering ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Ontologies and the Semantic Web ; Ontology Engineering ; Ontology Sharing and Reuse ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.188.96.17

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 (IC3K 2009) - KEOD; ISBN 978-989-674-012-2; ISSN 2184-3228, SciTePress, pages 388-391. DOI: 10.5220/0002284903880391

@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 (IC3K 2009) - KEOD},
year={2009},
pages={388-391},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002284903880391},
isbn={978-989-674-012-2},
issn={2184-3228},
}

TY - CONF

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