Wiki » History » Version 12

Thorsten Wißmann, 04/29/2014 11:49 PM

1 7 Thorsten Wißmann
h1. COOL - The Coalgebraic Ontology Logic Reasoner
2 3 Thorsten Wißmann
3 8 Thorsten Wißmann
COOL is a generic reasoner for modal and hybrid logics; it can be instantiated to any modal or hybrid logic admitting an axiomatization in terms of so-called rank-1 rules or axioms. Current instantiations include multimodal K (i.e. the description logic ALC), graded modal logic (the Q in ALCQ), and coalition logic (the next-step logic of alternating temporal logic ATL). COOL currently supports global assumptions, i.e. general TBoxes, nominals, and satisfaction operators; the latter features are similar in expressivity to Boolean ABoxes. COOL implements a global caching algorithm described "here": (also available "here":
4 1 Thorsten Wißmann
5 8 Thorsten Wißmann
A system description of COOL (_COOL -- A Generic Satisfiability Checker For Coalgebraic Logics with Global Assumptions_, D. Gorin, D. Pattinson, L. Schröder, F. Widmann and T. Wißmann) is forthcoming at "IJCAR 2014":
6 7 Thorsten Wißmann
7 7 Thorsten Wißmann
h2. Download
8 7 Thorsten Wißmann
9 6 Thorsten Wißmann
To get COOL, clone the git repository via:
10 5 Thorsten Wißmann
11 1 Thorsten Wißmann
git clone git://
12 1 Thorsten Wißmann
13 12 Thorsten Wißmann
The compilation of COOL is described in the shipped "INSTALL file": It also lists the build-time and run-time dependencies.
14 12 Thorsten Wißmann
15 12 Thorsten Wißmann
If you have any questions or patches, feel free to send them via E-Mail.
16 7 Thorsten Wißmann
17 7 Thorsten Wißmann
A January snapshot of COOL is also available as "static 64-bit linux binaries": and "static 32-bit linux binaries":