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.