GitHub repository: konclude/Konclude
Primary language: C++
Created: 2019-07-02T10:24:48Z
Description: Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL