https://123dok.net/document/q7w798rk-optimization-techniques-for-fuzzy-description-logics.html