Konclude(1) on Linux
The text 2c2d6bcc000e, as Debian 10 (Buster) shipped it.
Reasoner for the SROIQV(D) Description Logic
Flags it lists
-
-a -
-c -
-h -
-i -
-o -
-p -
-v -
-w -
-x