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

https://hal.inria.fr/hal-01934918
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

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

38

Files downloads

27