Skip to content

Commit

Permalink
Update reasoning.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
micheldumontier committed Nov 28, 2024
1 parent 1491a4f commit 06b4c5d
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/reasoning.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ on:
workflow_dispatch:

jobs:
reasoning:
consistency_check:
runs-on: ubuntu-latest
steps:
# Step 1: Check out the repository
Expand All @@ -30,7 +30,8 @@ jobs:
run: |
for file in *.ttl; do
if [[ -f "$file" ]]; then
./robot reason --reasoner hermit --input "$file" -D inconsistent.owl || exit 1
output="${file%.ttl}-inconsistent.owl"
./robot reason --reasoner hermit --input "$file" -D "$output" || exit 1
echo "Reasoning completed for: $file"
fi
done

0 comments on commit 06b4c5d

Please sign in to comment.