Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions
2016
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
3
References
1
Citations
NaN
KQI