https://9dok.net/document/y4wd5j7v-practical-fixed-domain-reasoning-description-logics-extended-abstract.html