@prefix : <http://example/scenario#>.
@prefix dex: <http://www.daml.org/2001/03/daml+oil-ex#>.
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix l: <http://www.w3.org/2000/10/swap/log.n3#>.

<> <#rcsid> "$Id: rdfg3.n3,v 1.2 2001/05/05 02:56:08 connolly Exp $".

:bill dex:hasFather :bob.
:bill r:type dex:Man.
:bob r:type dex:Man.
dex:Man u:subClassOf dex:Person.
dex:Woman u:subClassOf dex:Person.
dex:Person u:subClassOf dex:Animal.

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

<> g:digraph [
  g:label "A Class and two members";

  g:hasNode :bill, :bob,
	dex:Person, dex:Animal, dex:Man, dex:Woman
  ].

dex:hasFather a g:EdgeProperty; g:label "hasFather".

{ { :t r:type :C.
    :C u:isDefinedBy <http://www.daml.org/2001/03/daml+oil-ex> }
   l:implies { :t :typeG :C } } a l:Truth; l:forAll :t, :C.

<http://www.daml.org/2001/03/daml+oil-ex> is u:isDefinedBy of
	dex:Male, dex:Man, dex:Woman, dex:Female, dex:Animal, dex:Person.

# Color W3C terms blue
r:type u:isDefinedBy <http://www.w3.org/1999/02/22-rdf-syntax-ns>.
<http://www.w3.org/1999/02/22-rdf-syntax-ns> a :W3CSpec.
u:subClassOf u:isDefinedBy <http://www.w3.org/2000/01/rdf-schema>.
<http://www.w3.org/2000/01/rdf-schema> a :W3CSpec.
{{ :p u:isDefinedBy :d.
  :d a :W3CSpec. }
  l:implies { :p g:color "blue" }} a l:Truth; l:forAll :p, :d.

:typeG a g:EdgeProperty; g:label "type"; g:color "blue".
u:subClassOf a g:EdgeProperty; g:label "subClassOf".

:bill g:label "Bill".
:bob g:label "Bob".
dex:Man a u:Class; u:label "Man".
dex:Woman a u:Class; u:label "Woman".
dex:Person a u:Class; u:label "Person".
dex:Animal a u:Class; u:label "Animal".

u:Class a u:Class; u:label "Class";
  u:isDefinedBy <http://www.w3.org/2000/01/rdf-schema>.

# make classes bold with their labels inside
{{ :C a u:Class; u:label :str. }
  l:implies { :C g:style "bold"; g:label :str }} a l:Truth; l:forAll :C, :str.