University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Knowledge representation, coalgebraically

Dirk Pattinson, Imperial College London
Flowin'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]