https://123dok.org/document/qmjvp847-decidable-odel-description-logics-finitely-valued-model-property.html