https://123dok.net/document/yev141j0-a-tractable-paraconsistent-fuzzy-description-logic.html