Skip to content
Pro
Block or report user

Report or block konclude

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block konclude

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

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

    C++ 1 1

  2. Building/compiling the Konclude reasoner with Docker

    Shell

3 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

August - November 2019

konclude has no activity yet for this period.

July 2019

Created their first repository

 created their first repository!

First repository

Konclude

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.