https://123dok.net/document/zwv9m490-empirical-investigation-subsumption-test-hardness-description-logic-classification.html