prov:Removal and prov:Insertion (should not be, but are) equivalent

[timrdf]

https://lists.w3.org/Archives/Public/public-prov-comments/2015May/0018.html

In the ontology at http://www.w3.org/ns/prov, the property 
prov:dictionary has domain prov:Removal and prov:Insertion. 
Additionally, prov:Removal and prov:Insertion both have a restriction 
owl:someValuesFrom on property prov:dictionary.

This makes prov:Removal and prov:Insertion equivalent.

Probably, the intention was to say:

prov:dictionary  rdfs:domain  [
     a  owl:Class;
     owl:unionOf  (prov:Insertion prov:Removal)
] .
-- 
Antoine Zimmermann

[timrdf]

See the namespace map for an illustration of how prov-dict tucks into the prov namespace with the other documents.

PROV-errata describes how to get an entry into the W3C page.

[timrdf]

Caught dictionary/prov-dictionary.owl/.ttl up from references to version 20130312 to references to version 20130430 -- hard linking from namespace/prov-dictionary.owl/ttl back into the original locations (with this commit)