EnvironmentOntology / envo

A community-driven ontology for the representation of environments
http://www.environmentontology.org
Creative Commons Zero v1.0 Universal
127 stars 53 forks source link

renormalizing to latest owlapi #1452

Closed cmungall closed 10 months ago

cmungall commented 10 months ago

This PR contains no content changes. It only contains the results of re-saving (normalizing) between 3 different people on different platforms. Scroll down for result summary...

cmungall commented 10 months ago

Prior to this PR, master's last commit was an edit from @pbuttigieg using Protege 5.6.1 (Windows)

Additional data:

both @turbomam and I did additional saves to rdf/xml using both Protege 5.6.1 and robot and confirmed both get:

<!-- Generated by the OWL API (version 4.5.25.2023-02-15T19:15:49Z) https://github.com/owlcs/owlapi -->

Main Conclusion: Mac Protege 5.6.1 and robot 1.9.4 are in sync and will not produce spurious diffs.

However, there is something different about windows Protege, either it is using a different version of the owlapi or there is underlying non-determinism that only manifests for different OS's

Minor conclusion:

Even when using synced tools, we get this spurious diff

< Prefix(:=<http://purl.obolibrary.org/obo/envo.owl#>)
---
> Prefix(:=<http://purl.obolibrary.org/obo/envo.owl/>)
> Prefix(iso:=<https://www.iso.org/obp/ui/#iso:std:iso:>)
cmungall commented 10 months ago

I will merge this for now as Mark needs to do edits today and master should be normalized relative to him and me, but this is not sustainable long term.

As an intermediate measure I leave these instructions for @pbuttigieg, but I am asking for broader help on the Protege channel.

Prior to commit, normalize this way:

robot convert envo-edit.owl -o temp.ofn
mv temp.ofn envo-edit.obo

Making sure you are on 1.9.4