Project

General

Profile

Wiki » History » Version 15

« Previous - Version 15/17 (diff) - Next » - Current version
Thorsten Wißmann, 04/30/2014 12:49 AM


COOL - The Coalgebraic Ontology Logic Reasoner

After Downloading and Building COOL, you can use 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:

./coalg sat CL  <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'