Update qc.yml

.github/workflows/qc.yml

@@ -1,4 +1,4 @@
-name: verification rules
+name: quality checks 
 on:
   push:
     branches:
@@ -11,14 +11,17 @@ jobs:
       with:
         ref: develop-3.0.0
         path: main
-    - name: QC Verification
+    - name: quality checks  
       run: |
            curl -L -o robot.jar "https://github.com/ontodev/robot/releases/latest/download/robot.jar"
            java -jar robot.jar --version
-           java -jar robot.jar validate-profile --profile DL --input main/pmd-core.ttl --output validation.txt
+
+           java -jar robot.jar reason --reasoner elk --input main/pmd-core.ttl --output main/pmd-core-reasoned.ttl
+
+           java -jar robot.jar validate-profile --profile DL --input main/pmd-core-reasoned.ttl --output validation.txt
            cat validation.txt
-           java -jar robot.jar verify --input main/pmd-core.ttl --queries main/.github/workflow_resources/qc-queries/label-missing.sparql  
-           #java -jar robot.jar verify --input main/pmd-core.ttl --queries main/.github/workflow_resources/qc-queries/isdefinedby-missing.sparql  
-           java -jar robot.jar verify --input main/pmd-core.ttl --queries main/.github/workflow_resources/qc-queries/description-missing.sparql   
-           java -jar robot.jar verify --input main/pmd-core.ttl --queries main/.github/workflow_resources/qc-queries/https-missing.sparql
+           java -jar robot.jar verify --input main/pmd-core-reasoned.ttl --queries main/.github/workflow_resources/qc-queries/label-missing.sparql  
+           #java -jar robot.jar verify --input main/pmd-core-reasoned.ttl --queries main/.github/workflow_resources/qc-queries/isdefinedby-missing.sparql  
+           java -jar robot.jar verify --input main/pmd-core-reasoned.ttl --queries main/.github/workflow_resources/qc-queries/description-missing.sparql   
+           java -jar robot.jar verify --input main/pmd-core-reasoned.ttl --queries main/.github/workflow_resources/qc-queries/https-missing.sparql