https://123dok.net/document/zwv9856v-large-scale-reasoning-on-expressive-horn-ontologies.html