Merge branch 'main' of https://github.com/dini-ag-kim/school-curricul… #7
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Reasoning | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| ref: main | |
| - 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 | |
| rm robot.jar | |
| - uses: mikeal/publish-to-github-action@master | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| BRANCH_NAME: 'main' #optional defaults to master |