@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.

@prefix : <owl_smush1#>.

foaf:mbox a owl:InverseFunctionalProperty. # one-to-many
:dan foaf:mbox <mailto:connolly@w3.org>.
:dan foaf:name "Dan Connolly".

:daniel foaf:mbox <mailto:connolly@w3.org>.
:daniel foaf:name "Daniel W. Connolly".

{ ?P a owl:InverseFunctionalProperty.
  ?X ?P ?Z.
  ?Y ?P ?Z.
} => { ?X = ?Y }.

@prefix g: <http://www.w3.org/2001/02pd/gv#>.

<> g:digraph :g.
:g g:rankdir "LR";
  g:hasNode :dan, :daniel, <mailto:connolly@w3.org>.
foaf:mbox a g:EdgeProperty; g:label "foaf:mbox"; g:color "green".
:gname a g:EdgeProperty; g:label "foaf:name".
:dan g:label ":dan"; :gname :dan_.
:daniel g:label ":daniel"; :gname :daniel_.

:gname a g:EdgeProperty.

{ ?X foaf:name ?TXT; :gname ?N } => {
 ?N g:label ?TXT; is g:hasNode of :g;
 g:shape "rectangle"
 }.