Project

General

Profile

Wiki » History » Version 15

Version 14 (Thorsten Wißmann, 04/29/2014 11:50 PM) → Version 15/17 (Thorsten Wißmann, 04/30/2014 12:49 AM)

h1. COOL - The Coalgebraic Ontology Logic Reasoner

After [[Download]]ing COOL is a generic reasoner for modal and "Building":https://cal8.cs.fau.de/redmine/projects/cool/repository/revisions/master/entry/INSTALL COOL, you hybrid logics; it can use on be instantiated to any modal or hybrid logic admitting an axiomatization in terms of it's frontends. The most minimal frontend is called coalg. E.g. checking so-called rank-1 rules or axioms. Current instantiations include multimodal K (i.e. the satisfiability description logic ALC), graded modal logic (the Q in ALCQ), and coalition logic (the next-step logic of some Coalition Logic formula 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":http://link.springer.com/chapter/10.1007/978-3-642-14203-1_5 (also available "here":http://www8.informatik.uni-erlangen.de/~schroeder/papers/hyGlobalCaching.pdf).

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 done by: forthcoming at "IJCAR 2014":http://cs.nyu.edu/ijcar2014/.

h2. Download

To get COOL, clone the git repository via:

<pre>
./coalg sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C' git clone git://cal8.cs.fau.de/cool
</pre>
The compilation of COOL is described in the shipped &quot;INSTALL file&quot;:https://cal8.cs.fau.de/redmine/projects/cool/repository/revisions/master/entry/INSTALL. It also lists the build-time and run-time dependencies.

A January snapshot of COOL is also available as &quot;static 64-bit linux binaries&quot;:https://www8.cs.fau.de/_media/research:cool:cool-bin-x86_64.tar.gz and &quot;static 32-bit linux binaries&quot;:https://www8.cs.fau.de/_media/research:cool:cool-bin-x86_32.tar.gz.

h2. Feedback

If you have any questions or patches, feel free to send them via E-Mail.