Skip to content

Implement TDB execution for verify command - #1283

Merged
jamesaoverton merged 4 commits into
ontodev:masterfrom
ptgolden:issue-1282-verify-tdb
Sep 29, 2026
Merged

jamesaoverton merged 4 commits into
ontodev:masterfrom
ptgolden:issue-1282-verify-tdb

Conversation

@ptgolden

@ptgolden ptgolden commented Apr 24, 2026 •

Copy link
Copy Markdown
Contributor

Resolves #1282

  • docs/ have been added/updated
  • tests have been added/updated
  • mvn verify says all tests pass
  • mvn site says all JavaDocs correct
  • CHANGELOG.md has been updated

This mirrors the structure of TDB execution in QueryCommand: there are separate executeOnDisk and executeInMemory methods that use TDB and in-memory storage, respectively.

The two implementations are very similar, so a follow-up refactor could deduplicate the TDB lifecycle handling.

I did not add any tests because there are not similar tests for TDB functionality for either query nor report that I could find.

This mirrors the structure of TDB execution in QueryCommand: there are
separate executeOnDisk and executeInMemory methods that use TDB and
in-memory storage, respectively.

The two implementations are very similar, so a follow-up refactor could
deduplicate the TDB lifecycle handling.
1) Run the same verification queries, but against a Turtle file, since
   the old `asserted-equiv.owl` was in Manchester syntax

2) add `--fail-on-violation false` to allow the example to be run by
   integration tests

3) Add equivalent.csv output to satisfy integration tests
@jamesaoverton
jamesaoverton merged commit 0cf4518 into ontodev:master Sep 29, 2026
3 checks passed
@jamesaoverton

Copy link
Copy Markdown
Member

Sorry for the long delay. I don't have a lot of resources for ROBOT these days, and this is not a feature that I need myself.

This PR sticks closely to the existing code in QueryCommand, which I appreciate. As I was reviewing it, I thought that the original code was not as clear as I would like. But this passed all my tests, and I don't have time to make it better right now.

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.

Support TDB options for robot verify

2 participants