https://123dok.org/document/rz358odq-a-nonmonotonic-description-logic-for-reasoning-about-typicality.html