GitHub repository: sword-ufpe/raccoon
Primary language: C
Description: An experimental automted reasoner for description logics using a modified version of the connection method.