Project

General

Profile

Wiki » History » Version 6

Thorsten Wißmann, 04/29/2014 10:49 PM
Update first description

1 2 Thorsten Wißmann
h1. COOL
2 3 Thorsten Wißmann
3 6 Thorsten Wißmann
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.
4 4 Thorsten Wißmann
5 6 Thorsten Wißmann
To get COOL, clone the git repository via:
6 5 Thorsten Wißmann
<pre>
7 6 Thorsten Wißmann
git clone git://cal8.cs.fau.de/cool
8 5 Thorsten Wißmann
</pre>