https://9dok.net/document/y4wd5mk9-undecidability-of-fuzzy-description-logics.html