Thanks for following up, Daniel. And thanks for pointing out the issue that you found, Antoine. I'll make an issue for what you point out and work to resolve it. Making updates to the OWL after the WG closes out is a bit uncharted territory, so we'll see what we can do to make it right. Regards, Tim Sent from my iPhone > On May 30, 2015, at 13:17, Daniel Garijo <dgarijo@delicias.dia.fi.upm.es> wrote: > > 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 21:54:57 UTC