Project

General

Profile

Wiki » History » Version 6

« Previous - Version 6/17 (diff) - Next » - Current version
Thorsten Wißmann, 04/29/2014 10:49 PM
Update first description


COOL

The project COOL — The Coalgebraic Ontology Logic Reasoner — is a generic reasoner for different logics, ranging from K (aka known as ALC in the DL context), over GML (aka ALCQ in DL context) to Coalition Logic. It's frontend is a simple command line interface, an OWL interface is under development.

To get COOL, clone the git repository via:

git clone git://cal8.cs.fau.de/cool