Closed matentzn closed 3 months ago
Looks good - the dropping of axioms in GO etc is expected ? Is that on the source side or because of a minimal import option ?
The remove operation after the imports are merged is a clean up for chained imports right ?
Looks good - the dropping of axioms in GO etc is expected ? Is that on the source side or because of a minimal import option ?
The dropping of GO axioms in GO import is 100% within the realms of the possible.. Thanks for checking!
The remove operation after the imports are merged is a clean up for chained imports right ?
The remove operation is not for after the imports are merged - the operation prevents CL and CARO axioms to be pulled into the imports to begin with (during module extraction)
We should plan a new release soon so this can be reflected in envo.owl
Thank you for solving this issue. When will the new version be released?
Fixes #1524