Update reasoning.yml

dini-ag-kim · May 13, 2024 · f076200 · f076200
1 parent e519f1e
commit f076200
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: