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