specializationOf and inference

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