Beast code in Giters

konclude's repositories

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL

Language:C++35 9 21

Building/compiling the Konclude reasoner with Docker

Language:Shell010

Redland Rasqal RDF Query Library

Language:CNOASSERTION000