Project

General

Profile

Wiki » History » Version 16

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

h1. COOL - The Coalgebraic Ontology Logic Reasoner

After [[Download]]ing and "Building":https://cal8.cs.fau.de/redmine/projects/cool/repository/revisions/master/entry/INSTALL COOL, you can use one on of it's frontends. The most minimal frontend is called coalg. E.g. checking the satisfiability of some Coalition Logic formula is done by:
<pre>
./coalg sat CL <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
</pre>