Project

General

Profile

Wiki » History » Version 7

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

1 7 Thorsten Wißmann
h1. COOL - The Coalgebraic Ontology Logic Reasoner
2 3 Thorsten Wißmann
3 7 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 in http://link.springer.com/chapter/10.1007/978-3-642-14203-1_5 (also available at http://www8.informatik.uni-erlangen.de/~schroeder/papers/hyGlobalCaching.pdf).
4 1 Thorsten Wißmann
5 7 Thorsten Wißmann
6 7 Thorsten Wißmann
h2. Download
7 7 Thorsten Wißmann
8 6 Thorsten Wißmann
To get COOL, clone the git repository via:
9 5 Thorsten Wißmann
<pre>
10 1 Thorsten Wißmann
git clone git://cal8.cs.fau.de/cool
11 1 Thorsten Wißmann
</pre>
12 7 Thorsten Wißmann
13 7 Thorsten Wißmann
h2. Compiling