Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-01934918
Contributor : Freddy Lecue Connect in order to contact the contributor
Submitted on : Monday, November 26, 2018 - 1:09:47 PM
Last modification on : Monday, October 12, 2020 - 10:30:35 AM
Long-term archiving on: : Wednesday, February 27, 2019 - 2:24:12 PM

File

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

Identifiers

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⟩

Share

Metrics

Record views

102

Files downloads

60