https://123dok.net/document/qvl7we9d-paraconsistent-reasoning-for-expressive-and-tractable-description-logics.html