Skip to Main content Skip to Navigation
New interface
Conference papers

Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions

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 metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Freddy Lecue Connect in order to contact the contributor
Submitted on : Monday, November 26, 2018 - 1:09:47 PM
Last modification on : Thursday, August 4, 2022 - 4:55:00 PM
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