Skip to content

ROBOT integrity testing - #7

Merged
jclerman merged 6 commits into
mainfrom
robot-integrity-testing
Sep 2, 2026
Merged

ROBOT integrity testing#7
jclerman merged 6 commits into
mainfrom
robot-integrity-testing

Conversation

@jclerman

@jclerman jclerman commented Sep 1, 2026

Copy link
Copy Markdown
Collaborator

Summary

Add integrity tests that run automatically when we push to this GitHub repository, via a GitHub Action. So far, all of the tests download and use ROBOT. The actual tests are factored out into shell scripts that can also be run locally by developers. They include:

  • Is the ontology fully satisfiable/self-consistent according to the ELK reasoner?
  • Is the ontology free of logically-equivalent (duplicate) classes?
  • Are names/synonyms in the ontology free of leading, trailing, and sequential whitespaces?

I also included documentation on how the tests work, how they are integrated into CI, how to run them locally/manually, and how to add new ones.

NOTE

Three existing synonyms in RadLex violated the whitespace check. None seemed to be intentional; they are all fixed as part of this PR.

Future work

Once this is merged, we can gate future PR merges on these tests passing.

We can also add more tests in the near future.

Bare `if:` expressions get an implicit `&& success()`, which made the
artifact-upload steps skip themselves whenever the preceding check
step failed. Add failure() to override that default so the artifacts
actually get produced.
found with one of the new ROBOT integrity tests
@jclerman jclerman self-assigned this Sep 1, 2026
@jclerman
jclerman marked this pull request as ready for review September 1, 2026 23:54
@jclerman jclerman changed the title Robot integrity testing ROBOT integrity testing Sep 1, 2026
@jclerman
jclerman merged commit 13a5abe into main Sep 2, 2026
1 check passed
@jclerman
jclerman deleted the robot-integrity-testing branch September 2, 2026 22:16
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.

2 participants