CKR:Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States

Context representation of (description logic based) knowledge has recently gained interest in the Semantic Web community and a number of logic based solutions have been proposed. In this regard, in our previous works we have introduced the DL based Contextualized Knowledge Repository (CKR) framework: we recently proposed an extension of CKR with the possibility to represent and reason with defeasible axioms and exceptions in context dependent axioms. The goal of this demo is to demonstrate the use of contexts and exceptions in representing evolving situations: the demo visualizes the evolution of a soccer match by showing the (possibly non-monotonic) changes in the knowledge across different events composing the match.