Project

General

Profile

Wiki » History » Version 16

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


COOL - The Coalgebraic Ontology Logic Reasoner

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