OWL::DIRECTSEMANTICS(3PM) - manual page | Library functions

Representation of the direct semantics of OWL2.