Provenance ontology: prov:Insertion equivalent to prov:Removal

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
ISCOD - Institut Henri Fayol
École des Mines de Saint-Étienne
158 cours Fauriel
CS 62362
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/

Received on Thursday, 28 May 2015 07:25:22 UTC