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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

Contributor : Freddy Lecue <>
Submitted on : Monday, November 26, 2018 - 1:09:47 PM
Last modification on : Thursday, November 29, 2018 - 1:19:56 AM
Long-term archiving on: Wednesday, February 27, 2019 - 2:24:12 PM


FAIA285-1596 (2).pdf
Files produced by the author(s)




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⟩



Record views


Files downloads