OWL import on gfo-core breaks horned-owl

[KonradHoeffner]

I'm still working on enhancing RickView's capabilities regarding ontologies and I'm using ANNO as a test case, which imports gfo-light, which itself imports gfo-core.
As RickView is written in Rust I'm currently testing the Rust ontology library https://github.com/phillord/horned-owl which crashes with OWL imports like https://w3id.org/gfo-core/release/2025-04-07 however it works with https://w3id.org/gfo-core.
While I raised this issue at phillord/horned-owl#153 I don't know enough about OWL imports to decide whether this is an error in horned-owl or whether this is a general problem of the import itself not conforming to some standard.
Anyways, would it be possible to change the related line owl:imports <https://w3id.org/gfo-core/release/2025-04-07>; to owl:imports <https://w3id.org/gfo-core>; or is it necessary to refer to that exact version?

[ChristophB]

As far as I know, GFO and all of its artefacts are developed with Protégé. This software automatically stores the version IRI in the owl:imports declaration, even if it was imported using the ontology IRI. So this must be changed manually whenever gfo-light.ttl is updated.

If only the ontology IRI is used for importing ontologies, a new version could break any ontologies containing import declarations (e.g. ANNO). I suspect this is why Protégé enforces the use of version IRIs, which should generally be preferred.

[KonradHoeffner]

Thanks for the clarification!
Then I will try to contribute to get this fixed in horned-owl.

[KonradHoeffner]

Support for catalog files to resolve imports is an open issue at horned-owl: phillord/horned-owl#144