https://9dok.net/document/z3d26l4e-matching-respect-general-concept-inclusions-description-logic-el.html