Add duplicate scenario as test #34
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: OEO CI | |
| on: [push] | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - uses: actions/setup-java@v2 | |
| with: | |
| distribution: "adopt" | |
| java-version: "11" | |
| - name: make | |
| run: | | |
| make | |
| - name: validate-profile | |
| run: | | |
| echo "java -jar build/robot.jar validate-profile --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --profile Full -vvv --output merged-validation.txt" | |
| java -jar build/robot.jar validate-profile --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --profile Full -vvv --output merged-validation.txt | |
| - name: verify | |
| run: | | |
| java -jar build/robot.jar verify --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --queries tests/verify/* | |
| - name: check inferred equivalence | |
| run: | | |
| java -jar build/robot.jar reason --reasoner ELK --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --axiom-generators "EquivalentClass" --equivalent-classes-allowed asserted-only | |
| - uses: actions/upload-artifact@master | |
| with: | |
| name: build-artifacts | |
| path: build/oeo-extended | |
| test: | |
| runs-on: ubuntu-latest | |
| needs: build | |
| steps: | |
| - uses: actions/checkout@v2 | |
| - uses: actions/setup-java@v2 | |
| with: | |
| distribution: "adopt" | |
| java-version: "11" | |
| - uses: actions/download-artifact@master | |
| with: | |
| name: build-artifacts | |
| path: build/oeo-extended | |
| - name: setup robot 1.9.0 | |
| run: | | |
| wget https://github.com/ontodev/robot/releases/download/v1.9.0/robot.jar -O build/robot19.jar | |
| - name: consistency | |
| run: | | |
| wget https://github.com/owlcs/releases/raw/master/HermiT/org.semanticweb.hermit-packaged-1.4.6.519-SNAPSHOT.jar -O build/hermit.jar | |
| OUT=$(java -jar build/hermit.jar file://`pwd`/build/oeo-extended/$(cat VERSION)/oeo-extended.omn -U) | |
| if [ "$(echo "$OUT" | tr -d '[:space:]')" = "Classesequivalentto'owl:Nothing':owl:Nothing" ]; | |
| then | |
| exit 0 | |
| fi | |
| echo "Ontology is inconsistent: $OUT" | |
| exit 1 | |
| - name: Upload Ontology | |
| if: always() | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: build-files | |
| path: | | |
| build/**/* | |
| !build/**/*.jar |