Abstract:
A framework for reasoning within heterogeneous knowledge sources over continuous input streams is the so called Multi-Context Systems (MCSs). To perform reasoning on mult...Show MoreMetadata
Abstract:
A framework for reasoning within heterogeneous knowledge sources over continuous input streams is the so called Multi-Context Systems (MCSs). To perform reasoning on multiple knowledge sources that need to be integrated we have to tackle the problem of potential inconsistencies. By applying transformations on the knowledge base of each context we generate a Main Knowledge Base (MKB) in Description Logics (DL) and use a reasoner to find out the causes of inconsistency, when that is the case. The justifications from the reasoner are used to find repairs in MKB, making it consistent, to help the user in the diagnosis of the error, and in the explanations of the inter-relationships between different concepts in play.
Published in: 2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
Date of Conference: 07-09 September 2017
Date Added to IEEE Xplore: 23 November 2017
ISBN Information: