@prefix w: <webarch#> .
@prefix g: <http://www.w3.org/2001/02pd/gv#>.
@prefix fd: <http://www.w3.org/2001/tag/fdesc54/classTreeOwl#>.
@prefix : <webarch-ex#>.

@prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

:F a owl:Class; s:label "F";
  s:subClassOf
   [ owl:onProperty w:arg; owl:allValuesFrom :A ],
   [ owl:onProperty w:value; owl:allValuesFrom :BC ].

:BC a owl:Class; s:label "B->C";
  s:subClassOf
   [ owl:onProperty w:arg; owl:allValuesFrom :B ],
   [ owl:onProperty w:value; owl:allValuesFrom :C ].

:A a owl:Class; s:label "A".
:B a owl:Class; s:label "B".
:C a owl:Class; s:label "C".

:f
  g:label "f(a)"; g:shape "ellipse";
  w:arg :a;
  w:value :b_c.

:b_c
  g:label "f(a)(b)"; g:shape "ellipse";
  w:arg :b;
  w:value :c.

:a g:label "a"; g:shape "ellipse".
:b g:label "b"; g:shape "ellipse".
:c g:label "c"; g:shape "ellipse".

fd:theGraph g:subgraph [ g:label "for instance";
  g:hasNode :ref, :f, :a, :b, :c, :b_c;
  g:hasEdgeProperty w:arg, w:value
].