Conflict resolution when axioms are materialized in semantic-based smart environments.

Abstract : In SemanticWeb applications, reasoning engines that are data intensive commonly materialise inferences to speed up processing at query time. However, in evolving systems, such as smart environments, semantic-based context aware systems (SCAS) [6] or social software with user-generated data, knowledge does not grow monotonically: newer facts may contradict older ones, knowledge may be deprecated, discarded or updated such that knowledge must sometimes be retracted. We are describing a technique to retract explicit and inferred statements, when some information becomes obsolete, as well as retracting any statement that would lead to get back the removed explicit statements. This technique is based on OWL justifications and is triggered whenever a knowledge base becomes inconsistent, such that the system stays in a consistent state all the time, in spite of uncontrolled evolution.We prove termination and correctness of the algorithm, and describe the implementation and evaluation of the proposal.
Type de document :
Article dans une revue
Journal of ambient intelligence and smart environments, 2015, 7 (2), pp.187-199. 〈10.3233/AIS-150307〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00995689
Contributeur : Christophe Gravier <>
Soumis le : mardi 27 mai 2014 - 09:51:31
Dernière modification le : dimanche 15 octobre 2017 - 22:44:13
Document(s) archivé(s) le : mercredi 27 août 2014 - 10:42:25

Fichier

JAISE-2014-13433.R4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Christophe Gravier, Julien Subercaze, Antoine Zimmermann. Conflict resolution when axioms are materialized in semantic-based smart environments.. Journal of ambient intelligence and smart environments, 2015, 7 (2), pp.187-199. 〈10.3233/AIS-150307〉. 〈hal-00995689〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

155