Here’s a screencast demonstrating how reasoning and inference applied to the semantics of an owl:InverseFunctional property (e.g., schema:sameAs) also reconciles information for a common entity identified using two different identifiers. In this case, reasoning and inference is triggered by a built-in inference rule that designates relationship types such as schema:sameAs, foaf:mbox as being owl:InverseFunctional property types.
SPARQL Query demonstrating effect.
DEFINE input:inference 'urn:ifp:inference:rule'
PREFIX : <urn:records:test#>
SELECT DISTINCT ?o
FROM <urn:records:test>
WHERE { :i foaf:name ?o }