Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

NEVER merge: Tracking changes on DEV branch #944

Draft
wants to merge 59 commits into
base: master
Choose a base branch
from
Draft

NEVER merge: Tracking changes on DEV branch #944

wants to merge 59 commits into from

Conversation

matentzn
Copy link
Contributor

No description provided.

matentzn and others added 12 commits July 11, 2023 11:08
The ODK used to have a validation check that ensured that RDF/XML files
were valid. The check was based on LightRDF, whichwas fast enough to
make it possible to enable the check by default.

We had to disable that check because of a bug in LightRDF that caused
the library to sometimes fail to parse perfectly valid RDF/XML files
(#745). That bug has been fixed, so now we can re-enable the check by
default.

The check-rdfxml script is now invoked by default, and by default is
uses the fast LightRDF-based check. A new ODK option is added
(extra_rdfxml_checks): when enabled, it instructs the check-rdfxml
script to *also* perform the Jena- and RDFLib-based checks (which are
not enabled by default as they are more time-consuming).
…-dev

Re-enable the LightRDF-based RDF/XML check.
@gouttegd
Copy link
Contributor

0.841 https://incenp.org/files/softs/robot/1.9/robot-1.9.5-fix-owlapi1112.jar:
0.841 2023-11-23 17:27:24 ERROR 404: Not Found.

My bad, my custom build had been removed from my website when I updated it last week. I put the file back in place (and made sure it won’t be removed again).

@matentzn
Copy link
Contributor Author

🤨 HOW DID YOU SEE MY SECRET SERVER OUTPUT

haha.

Thanks for letting me know, re-running!

@gouttegd
Copy link
Contributor

I see everything. 👀🥷

@matentzn matentzn self-assigned this Feb 24, 2024
docker/odklite/Dockerfile Outdated Show resolved Hide resolved
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants