the OWLAPI may be strictly correct here as the rule of idspaces is accidentally embedded in the section on relations/Typedefs, rather than being a standalone subsection
the spec clarifies that idspace is used universally as a means of CURIE expansion: Term, Typedef, subsetdef, synonymtypedef
idspace is persisted in the OWL using shacl:Namespace objects
if the range of a hasDbXref or consider or replaced_by then instead of treating as a string literal, it is treated as an OWLEntity with the expanded URI
If an ID that does not contain a ‘:’ is looked up in idspaces, and if found the expansion is used as the full URI. If not found, it falls back to the rules specified in 1.4. This would allow more flexibility in URIs for synonymtypes, subsets, annotation and object properties while retaining traditional shorthand forms
Easily allow use of non-OBO CURIEs in OBO files (e.g., xref values which are meant to expand to IRIs)
PRO currently tries to use the idspace tag, but the existing OBO parser doesn’t implement this e.g.,
idspace: Alzforum_mut http://www.alzforum.org/mutations/
the OWLAPI may be strictly correct here as the rule of idspaces is accidentally embedded in the section on relations/Typedefs, rather than being a standalone subsection
https://owlcollab.github.io/oboformat/doc/obo-syntax.html#5.9.3
Proposals:
idspace
is used universally as a means of CURIE expansion: Term, Typedef, subsetdef, synonymtypedefidspace
is persisted in the OWL using shacl:Namespace objectsThe SHACL triple expansion would look like this: