Hi Antoine, thanks for your feedback. It looks like you are right. I have contacted the editor of the document. We will look into this issue and fix the owl document if necessary. Best regards, Daniel 2015-05-28 9:24 GMT+02:00 Antoine Zimmermann <antoine.zimmermann@emse.fr>: > 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 Saturday, 30 May 2015 17:17:45 UTC