owlcollab / oboformat

Automatically exported from code.google.com/p/oboformat
5 stars 2 forks source link

Better factorization of production rules for ontology IRIs #106

Open althonos opened 5 years ago

althonos commented 5 years ago

This is implied in the semantics, but not made explicit in the syntax: since both import and ontology (and, to some extent, data-version) clause values end up being converted to ontology IRIs (either as an IRI describing the document itself, or an IRI referring to the imported resource) they should follow the same syntax, with the following semantics:

The following rules could be used (to be discussed):

header-clause ::=
   ...
   | data-version-Tag ontology-ref
   | ontology-Tag ontology-ref
   | import ontology-ref
   ...

ontology-ref ::= (IRI | ipath-rootless)

with ipath-rootless being defined in the IRI RFC.