TGC2: Tableaux with Global Caching

A Reasoner for Modal and Description Logics

The reasoner TGC2 has been developed for the project 2011/01/B/ST6/02759 granted by the Polish National Science Centre. Its design has been reported in a conference paper and a talk presentation. The current beta version of TGC2 is available here (see also the release note). It has been compiled for Linux x86_64 and tested with the data in the folder TESTS. The input format for TGC2 is specified by the Flex file and the Bison file. To run the reasoner, just execute it (after gunzipping) without parameters.