Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions

Quan Yu Hai Wan Jiangtao Xu Freddy Lecue 1, 2 Liang Chang 3
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : Explanatory diagnosis of an ontology stream aims to explain the changes hidden in the ontology stream by a sequence of actions. In this paper, we present a framework for explanatory diagnosis of an ontology stream, which allows the actions to be uncertain. In order to capture the semantics of actions, we introduce a new update operator and effect-guided bold-repair. By combining these operators with a query mechanism of description logics EL ++ supporting inconsistency-tolerant semantics, we present a formal definition for the explanatory diagnosis problem of ontology streams.
Type de document :
Communication dans un congrès
ECAI 2016 - 22nd European Conference on Artificial Intelligence, Sep 2016, The Hague, Netherlands. 〈10.3233/978-1-61499-672-9-1596〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01934918
Contributeur : Freddy Lecue <>
Soumis le : lundi 26 novembre 2018 - 13:09:47
Dernière modification le : jeudi 29 novembre 2018 - 01:19:56

Fichier

FAIA285-1596 (2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lecue, Liang Chang. Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. ECAI 2016 - 22nd European Conference on Artificial Intelligence, Sep 2016, The Hague, Netherlands. 〈10.3233/978-1-61499-672-9-1596〉. 〈hal-01934918〉

Partager

Métriques

Consultations de la notice

10

Téléchargements de fichiers

7