Correct File Extension in IRI

[kara-mela]

Motivation

We started using the checks provided by LintedData and had to suppress several checks in the beginning in order to make our pipeline pass. We will take care of these checks one by one, activating them inorder to improve PaNET in the long run. Here we focus on the file extension in the IRI.

Modification

The check has been activated (by deleting the line in linteddata.yaml). The pipeline has been updated to use the new version of panet-build, which solves the issue.

Result

The pipeline passes.

Related Issues

closes #470

[kara-mela]

@hgoerzig here are the detailed instructions to check if my changes are working:

• have a clone of panet-build "parallel" to the PaNET repo
• bring panet-build up to date (git pull)
• terminal: chmod +x build-panet
• go to PaNET root directory
• bring PaNET up to date (git pull)
• execute build-panet in terminal: ../panet-build/build-panet
• check folder 'source' for newly created PaNET.owl
• Download LintedData.jar from https://gitlab.com/dlr-dw/linteddata/-/releases/v3.0.0 -> Packages -> Binaries (jar)
• copy jar to PaNET root
• execute linter in terminal: java -jar LintedData.jar --junit linted-data.xml --config .github/linteddata.yaml source/PaNET.owl
• inspect new file linted-data.xml -> 0 failures expected
  • this is more or less current state
• in linteddata.yanl set FileExtensionInIriCheck to true (or delete this line) and execute linter -> 0 failure expected
  • this is the new state of PaNET after merging my request

[hgoerzig]

Should we do the approval of new images in an extra PR?