Make a test version of ROBOT with Elk 0.5

[cmungall]

Elk 0.5 is not yet released: https://github.com/liveontologies/elk-reasoner/wiki/GettingElk

but it's important that people get to test before it is released, as it is revealing lots of cryptic issues

• ELK 0.5 shows GO has a large number of logical incompatibilities with property ranges geneontology/go-ontology#16524
• Unsatisfiable classes revealed by ELK 0.5 obophenotype/uberon#1455

[balhoff]

One possibility would be for us to make an ELK release under our own org on Maven. I think @matentzn got some approval for this. However this would immediately require a bunch of ontology pipelines to simultaneously fix all their range issues at the time they upgrade their ROBOT.

We could have both ELK versions available via a switch if we doctored the package definitions in 0.5—maybe using Maven Shade?

[cmungall]

I'd like to keep it simple. Fix the issues, then roll out. I am getting to them, slowly...

[balhoff]

I can submit a PR for Whelk in ROBOT. This way we can test ranges more easily.

[cmungall]

Yes, that would be great.

[matentzn]

See #999