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

Bump robot-core from 1.7.1 to 1.9.4 #518

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Jul 3, 2023

Bumps robot-core from 1.7.1 to 1.9.4.

Release notes

Sourced from robot-core's releases.

v1.9.4

Changed

  • Speed up unsatisfiable object-property check on certain reasoners including HermiT #1100
  • Update HermiT from 1.3.8.413 to 1.4.5.456 #1073

Fixed

  • Preserve prefixes across ontology load and save #1101

v1.9.3

Added

  • Subset method added to extract #1000

Changed

  • Upgrade OWLAPI to 4.5.25 #1093

Fixed

  • Restore logging details for CLI #1091
  • Fix OBO Serialiser bug where built in vocabulary was introduced as annotation properties #1089
  • Fix OBO Serialiser erroneous logging #1088

v1.9.2

Changed

  • Upgrade OWLAPI to 4.5.24 #1086

Fixed

  • Downgrade SnakeYaml to 1.31 #1071
  • Don't check for disjoint annotation properties #1084

This ROBOT release synchronizes with Protégé 5.6.0 which has updated to OWL API 4.5.24. This version of OWL API includes several changes to some serializers (notably the OBO-format serializer), which will likely result in large diffs when ontology files are saved with this version of ROBOT or Protégé for the first time. To minimize the annoyance caused by such diffs, it is advised to:

  • save your ontology with ROBOT 1.9.2 or Protégé 5.6.0 without introducing any changes to the logic or annotations, and commit the resulting ontology files; consider saving to OFN syntax and then OWL (RDF/XML) format, as explained in #1090
  • once the ontology files have been saved once with ROBOT 1.9.2 or Protégé 5.6.0, avoid editing it again with older versions of ROBOT or Protégé.

v1.9.1 with ELK 0.5.0

This version of ROBOT includes a snapshot of ELK 0.5.0, based on #999. ELK 0.5.0 is more strict than ELK 0.4.3 that was previously included with ROBOT, and so ROBOT may report more logical problems such as unsatisfiable classes when using the new ELK. This pre-release is for testing with ELK 0.5.0 in ROBOT workflows.

v1.9.1

Added

  • extract and merge should optionally inject provenance #977
  • Checking for empty strings in addition to missing ones in missing_label.rq #1017
  • Add "domain" and "range" support to export #1061

Fixed

  • Fixed report serialization in JSON #1016
  • Fix missing labels in diff output. #1026
  • input IRI now takes catalog file into account #1030

... (truncated)

Changelog

Sourced from robot-core's changelog.

[1.9.4] - 2023-05-23

Changed

  • Speed up unsatisfiable object-property check on certain reasoners including HermiT #1100
  • Update HermiT from 1.3.8.413 to 1.4.5.456 #1073

Fixed

  • Preserve prefixes across ontology load and save #1101

[1.9.3] - 2023-02-16

Added

  • Subset method added to [extract] #1000

Changed

  • Upgrade OWLAPI to 4.5.25 #1093

Fixed

  • Restore logging details for CLI #1091
  • Fix OBO Serialiser bug where built in vocabulary was introduced as annotation properties #1089
  • Fix OBO Serialiser erroneous logging #1088

[1.9.2] - 2023-02-09

Changed

  • Upgrade OWLAPI to 4.5.24 #1086

Fixed

  • Downgrade SnakeYaml to 1.31 #1071
  • Don't check for disjoint annotation properties #1084

[1.9.1] - 2022-10-28

Added

  • [extract] and [merge] should optionally inject provenance #977
  • Checking for empty strings in addition to missing ones in missing_label.rq #1017
  • Add "domain" and "range" support to export #1061

Fixed

  • Fixed report serialization in JSON #1016
  • Fix missing labels in [diff] output. #1026
  • input IRI now takes catalog file into account #1030

[1.9.0] - 2022-06-16

Added

  • Add new command: [expand] #964

Fixed

  • Fix OBOGraphs by updating guava #1009

... (truncated)

Commits
  • a42fe9f Bump version to 1.10.0-SNAPSHOT
  • e1a6bd6 Bump version to 1.9.4
  • 26a6999 Merge pull request #1106 from ontodev/issue-1101
  • a5daf8b Merge branch 'issue-1101' of github.com:ontodev/robot into issue-1101
  • 3308047 Don't carry forward default namespace.
  • 483557f Merge pull request #1073 from ontodev/update-hermit
  • 704f7be Update CHANGELOG
  • d0f138a Merge branch 'master' into update-hermit
  • ec9c562 Merge pull request #1100 from jclerman/refactor-unsat-object-checking
  • b3f3e91 Merge pull request #1107 from gouttegd/issue-1101-test
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

Bumps [robot-core](https://github.com/ontodev/robot) from 1.7.1 to 1.9.4.
- [Release notes](https://github.com/ontodev/robot/releases)
- [Changelog](https://github.com/ontodev/robot/blob/master/CHANGELOG.md)
- [Commits](ontodev/robot@v1.7.1...v1.9.4)

---
updated-dependencies:
- dependency-name: org.obolibrary.robot:robot-core
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label Jul 3, 2023
@dependabot @github
Copy link
Contributor Author

dependabot bot commented on behalf of github Sep 25, 2023

Superseded by #529.

@dependabot dependabot bot closed this Sep 25, 2023
@dependabot dependabot bot deleted the dependabot/maven/org.obolibrary.robot-robot-core-1.9.4 branch September 25, 2023 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants