Search Docker Hub
Community User
Displaying 1 to 1 of 1 repositories
Konclude, a tableau-based, parallel reasoner for the Description Logic SROIQV(D).
5y
10K+
1