Gorin, Daniel; Pattinson, Dirk; Schroder, Lutz; Widmann, Florian; Wissmann, Thorsten
We describe the Coalgebraic Ontology Logic solver Cool, a generic reasoner that decides the satisfiability of modal (and, more generally, hybrid) formulas with respect to a set of global assumptions-in Description Logic parlance, we support a general TBox and internalize a Boolean ABox. The level of generality is that of coalgebraic logic, a logical framework covering a wide range of modal logics, beyond relational semantics. The core of Cool is an efficient unlabelled tableaux search procedure...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.