fixed some violation #199
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 -v merge --include-annotations true --input lp.ttl query --update .github/workflows/update.sparql reason --reasoner hermit --axiom-generators "SubClass EquivalentClass DataPropertyCharacteristic EquivalentDataProperties SubDataProperty ClassAssertion PropertyAssertion EquivalentObjectProperty InverseObjectProperties ObjectPropertyCharacteristic SubObjectProperty ObjectPropertyRange ObjectPropertyDomain" --include-indirect true remove --term owl:topObjectProperty --term owl:Thing 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 | |
| - name: Invoke ping | |
| uses: distributhor/workflow-webhook@v3 | |
| with: | |
| webhook_url: https://lehrplan.yovisto.com/ping |