- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
 - Date: Thu, 28 May 2015 09:24:55 +0200
 - To: public-prov-comments@w3.org
 
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