Gore, RajeevKupke, ClemensPattinson, DirkSchroder, Lutz2015-12-08July 16-19http://hdl.handle.net/1885/34203Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncertainty, non-monotonic conditionals, or coalitional power. Specifically, weKeywords: Coalgebraic; Coalgebraic logic; Description logic; Hybrid logic; Modal logic; Optimal complexity; Reasoning principles; Relational semantics; Soundness and completeness; Tableau algorithm; Tableau rules; Algorithms; Automata theory; Formal logic; Mathemat201010.1007/978-3-642-14203-1_52016-02-24