Konclude(1) on Linux
The text 407717f01e98, as Debian 11 (Bullseye) shipped it.
Reasoner for the SROIQV(D) Description Logic
Flags it lists
-
-a -
-c -
-h -
-i -
-o -
-p -
-s -
-v -
-w -
-x