Prefix(:=<file:/c/test.owl#>)

Ontology(<file:/c/test.owl#>

  SubClassOf( :C owl:Thing ) Declaration( Class( :C ) )
    SubClassOf( :B :C ) Declaration( Class( :B ) )
  SubClassOf( :F owl:Thing ) Declaration( Class( :F ) )
    SubClassOf( :E :F ) Declaration( Class( :E ) )
      SubClassOf( :D :E ) Declaration( Class( :D ) )

)