ResponseMessage(
  KB(Attribute(kb <http://www.owllink.org/examples/KB_1>)) 
  KB(Attribute(kb <http://www.owllink.org/examples/KB_2>)) 
  OK()
  KB(Attribute(kb <http://www.owllink.org/examples/KB_3>)) 
  OK()
  KB(Attribute(kb <http://www.owllink.org/examples/KB_4>)) 
  OK()
  ClassHierarchy(
    ClassSynset(owl:Nothing))
  ClassHierarchy(
    ClassSynset(owl:Nothing)
    ClassSubClassesPair(
      ClassSynset(owl:Thing)
      SubClassSynsets(
        ClassSynset(<http://www.owllink.org/examples/myOntology#A>))))
  ClassHierarchy(
    ClassSynset(owl:Nothing)
    ClassSubClassesPair(
      ClassSynset(owl:Thing)
      SubClassSynsets(
        ClassSynset(<http://www.owllink.org/examples/myOntology#A>)))
    ClassSubClassesPair(
      ClassSynset(<http://www.owllink.org/examples/myOntology#A>)
      SubClassSynsets(
        ClassSynset(<http://www.owllink.org/examples/myOntology#B>)
        ClassSynset(<http://www.owllink.org/examples/myOntology#D>))))
  ClassHierarchy(
    ClassSynset(<http://www.owllink.org/examples/myOntology#C> owl:Nothing)
    ClassSubClassesPair(
      ClassSynset(<http://www.owllink.org/examples/myOntology#A> owl:Thing)
      SubClassSynsets(
        ClassSynset(<http://www.owllink.org/examples/myOntology#B>))))
  OK()
  OK()
  OK()
  OK())