diff --git a/.github/workflows/reasoning.yml b/.github/workflows/reasoning.yml
index fae83a5..fc98dc3 100644
--- a/.github/workflows/reasoning.yml
+++ b/.github/workflows/reasoning.yml
@@ -13,7 +13,7 @@ jobs:
     - name: Reasoning
       run: |
            curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar"
-           java -jar robot.jar reason --reasoner hermit --input lehrplan.ttl --output reasoned.ttl
+           java -jar robot.jar reason --reasoner hermit --input lehrplan.ttl  --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain"  --include-indirect true reduce --output reasoned.ttl
            rm robot.jar
     - uses: mikeal/publish-to-github-action@master
       env: