Stian: Should not the above URLs point to the OWLs of the timestamped REC and Note's folders?

Upsides

Creates a simple file with clear distinction between which terms are defined by which notes

Downsides

No simple dereferencability

Requires owl reasoning

Proposal 2.1 Use owl:import, but return only PROV-O

This hybrid solution is a single OWL file with the content of ProvenanceOntology.owl (PROV-O) - but with the additional owl:imports for the modules. It will include provenance to the OWL of the official REC that it is derived from.

implementation =

XML considerations

Proposal 3 Define all terms in a single OWL file

Terms that are not formally part of PROV-O would be described using just annotation properties (rdfs:label, rdfs:comment), so they don't show up in Ontology processing tools, but are still present for documentary purposes when the namespace is dereferenced.

(Additional annotation properties -- provenance even -- might be added so that automated processing tools could separate the terms on the basis of where they are introduced and more fully described.)