Prefix(:=<file:/c/test.owl#>)
Prefix(a1:=<http://my.com/test1#>)
Prefix(a2:=<http://my.com/test2#>)
Prefix(a3:=<http://zzz.com/test3#>)

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

EquivalentClasses( owl:Thing :I ) Declaration( Class( :I ) )
  SubClassOf( :B owl:Thing ) Declaration( Class( :B ) )
    SubClassOf( :A :B ) EquivalentClasses( :A :Class <file:/c/test.owl#s:local> ) Declaration( Class( :A ) ) Declaration( Class( :Class ) ) Declaration( Class( <file:/c/test.owl#s:local> ) )
      SubClassOf( :D :A ) Declaration( Class( :D ) )
        SubClassOf( :F :D ) Declaration( Class( :F ) )
        SubClassOf( a2:J :D ) Declaration( Class( a2:J ) )
    SubClassOf( :C :B ) EquivalentClasses( :C a1:otherC ) Declaration( Class( :C ) ) Declaration( Class( a1:otherC ) )
      SubClassOf( :D :C )
  SubClassOf( :E owl:Thing ) Declaration( Class( :E ) )
    SubClassOf( :F :E )
    SubClassOf( :H :E ) EquivalentClasses( :H a3:K ) Declaration( Class( :H ) ) Declaration( Class( a3:K ) )
EquivalentClasses( owl:Nothing :G ) Declaration( Class( :G ) )

EquivalentObjectProperties( owl:topObjectProperty :op6 ObjectInverseOf( :op6 ) ) Declaration( ObjectProperty( :op6 ) )
  SubObjectPropertyOf( :op2 owl:topObjectProperty ) Declaration( ObjectProperty( :op2 ) )
    SubObjectPropertyOf( :op1 :op2 ) Declaration( ObjectProperty( :op1 ) )
      SubObjectPropertyOf( :op8 :op1 ) EquivalentObjectProperties( :op8 :op8i ObjectInverseOf( :op8 ) ObjectInverseOf( :op8i ) ) Declaration( ObjectProperty( :op8 ) ) Declaration( ObjectProperty( :op8i ) )
    SubObjectPropertyOf( :op4 :op2 ) Declaration( ObjectProperty( :op4 ) )
      SubObjectPropertyOf( :op8 :op4 )
    SubObjectPropertyOf( :op7 :op2 ) EquivalentObjectProperties( :op7 ObjectInverseOf( :op7i ) ) Declaration( ObjectProperty( :op7 ) )
    SubObjectPropertyOf( :op7i :op2 ) EquivalentObjectProperties( :op7i ObjectInverseOf( :op7 ) ) Declaration( ObjectProperty( :op7i ) )
  SubObjectPropertyOf( :op3 owl:topObjectProperty ) EquivalentObjectProperties( :op3 ObjectInverseOf( :op3i ) ) Declaration( ObjectProperty( :op3 ) )
    SubObjectPropertyOf( ObjectInverseOf( :op1 ) :op3 )
      SubObjectPropertyOf( :op8 ObjectInverseOf( :op1 ) )
  SubObjectPropertyOf( :op3i owl:topObjectProperty ) EquivalentObjectProperties( :op3i ObjectInverseOf( :op3 ) ) Declaration( ObjectProperty( :op3i ) )
    SubObjectPropertyOf( :op1 :op3i )
  SubObjectPropertyOf( ObjectInverseOf( :op2 ) owl:topObjectProperty )
    SubObjectPropertyOf( :op7 ObjectInverseOf( :op2 ) )
    SubObjectPropertyOf( :op7i ObjectInverseOf( :op2 ) )
    SubObjectPropertyOf( ObjectInverseOf( :op1 ) ObjectInverseOf( :op2 ) )
    SubObjectPropertyOf( ObjectInverseOf( :op4 ) ObjectInverseOf( :op2 ) )
      SubObjectPropertyOf( :op8 ObjectInverseOf( :op4 ) )
EquivalentObjectProperties( owl:bottomObjectProperty :op5 ObjectInverseOf( :op5 ) ) Declaration( ObjectProperty( :op5 ) )

  SubDataPropertyOf( :dp1 owl:topDataProperty ) Declaration( DataProperty( :dp1 ) )
    SubDataPropertyOf( :dp2 :dp1 ) Declaration( DataProperty( :dp2 ) )
      SubDataPropertyOf( :dp4 :dp2 ) Declaration( DataProperty( :dp4 ) )
      SubDataPropertyOf( :dp6 :dp2 ) Declaration( DataProperty( :dp6 ) )
    SubDataPropertyOf( :dp3 :dp1 ) EquivalentDataProperties( :dp3 :dp5 ) Declaration( DataProperty( :dp3 ) ) Declaration( DataProperty( :dp5 ) )
      SubDataPropertyOf( :dp4 :dp3 )
EquivalentDataProperties( owl:bottomDataProperty :dp7 ) Declaration( DataProperty( :dp7 ) )

)
