Oxford Quantum Talks Archive
Knowledge representation, coalgebraically
Dirk Pattinson, Imperial College LondonFlowin'Cat 2010, October 2010, University of Oxford
In this talk we discuss, by means of example, the ingredients of a coalgebraic approach to knowledge representation. We present the basic model, a corresponding language, logical calculi together with the reasoning tasks of interest and the ensuing algorithms. Technically, this amounts to reasoning in hybrid logics over coalgebraic semantics over a set of global assumptions (a TBox in description logic terminology). As main results, we present concrete algorithms and (tight) complexity bounds for a wide variety of logics that are closed under modular combinations.
[video] [streaming video] [slides]