Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions
Quan Yu, Hai Wan, Xu Jiangtao, Lécué Freddy, Chang Liang · Frontiers in artificial intelligence and applications · 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 logicssupporting inconsistency-tolerant semantics, we present a formal definition for the explanatory diagnosis problem of ontology streams.