- From: Pierre-Antoine Champin <pierre-antoine.champin@univ-lyon1.fr>
- Date: Wed, 26 Jul 2017 16:33:59 +0200
- To: public-prov-comments@w3.org
Received on Wednesday, 26 July 2017 14:34:43 UTC
Hi all, I'm currently interested in using prov:specializationOf, as it seems to provide a weaker (and hence more flexible) "sameness" as owl:sameAs. Indeed, the "specializer" inherits the properties of the "specializee", but not the other way around (as would be the case for owl:sameAs). More precisely, I interpret inference rule 21 [1] as the following N3 rule: { ?x1 prov:specializationOf ?x2. ?x2 ?p ?o } => { ?x1 ?p ?o } So, from <#me-today> prov:specializationOf <#me> . <#me-today> :mood :happy. <#me> foaf:name "Pierre-Antoine". I could infer <#me-today> foaf:name "Pierre-Antoine". That's very well. But now, assume that I have :ssn a owl:InverseFunctionalProperty . <#me> :ssn "123456789". Similarly, I would also infer <#me-today> :ssn "123456789". But this would also lead me to infer <#me> owl:sameAs <#me-today>. which is precisely why I wanted to avoid :-( What is wrong in my reasoning? [1] https://www.w3.org/TR/2013/REC-prov-constraints-20130430/#specialization-attributes-inference
Received on Wednesday, 26 July 2017 14:34:43 UTC