Skip to content

various improvements to definitions #4

various improvements to definitions

various improvements to definitions #4

Workflow file for this run

# .github/workflows/reasoning.yml
name: Ontology Reasoning
on:
push:
paths:
- '*.ttl'
- '*.rdf'
- '*.owl'
# Allow manual triggering
workflow_dispatch:
jobs:
consistency_check:
runs-on: ubuntu-latest
steps:
# Step 1: Check out the repository
- name: Checkout repository
uses: actions/checkout@v3
# Step 2: Download ROBOT jar and script
- name: Download ROBOT
run: |
wget https://github.com/ontodev/robot/releases/download/v1.9.7/robot.jar
curl https://raw.githubusercontent.com/ontodev/robot/master/bin/robot > robot
sudo chmod u+x robot
# Step 3: Run ROBOT reasoning
- name: Run Reasoner
run: |
for file in *.ttl; do
if [[ -f "$file" ]]; then
output="${file%.ttl}-inconsistent.owl"
./robot reason --reasoner hermit --input "$file" -D "$output" || exit 1
echo "Reasoning completed for: $file"
fi
done