Update reasoning.yml

dini-ag-kim · May 14, 2024 · ff33d08 · ff33d08
1 parent 7d0f425
commit ff33d08
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  --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain"  --include-indirect true remove --term owl:topObjectProperty reduce --output reasoned.ttl
+           java -jar robot.jar merge --include-annotations true --input lehrplan.ttl  reason --reasoner hermit --axiom-generators "SubClass EquivalentClass DisjointClasses DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain"  --include-indirect true remove --term owl:topObjectProperty reduce --output reasoned.ttl
            rm robot.jar
     - uses: mikeal/publish-to-github-action@master
       env: