The text b1e48b26fcb6, as Debian 7 (Wheezy) shipped it.
representation of the direct semantics of OWL2
OWL::DirectSemantics(3pm) on Linux now
