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