https://123dok.net/document/y9624e6d-reasoning-in-expressive-gödel-description-logics.html