(ResponseMessage ()
  (KB (:kb |http://www.owllink.org/examples/KB_1|))
  (OK (:warning "Duplicate axiom ignored"))
  (SetOfClasses ()
    |http://www.owllink.org/examples/myOntology#A|
    |http://www.owllink.org/examples/myOntology#B|
    |http://www.owllink.org/examples/myOntology#C|
    |http://www.owllink.org/examples/myOntology#D|
    |http://www.owllink.org/examples/myOntology#E|)
  (SetOfClasses ()
    |http://www.owllink.org/examples/myOntology#D|
    |http://www.owllink.org/examples/myOntology#E|)
  (BooleanResponse (:result "false"))
  (SetOfClassSynsets ()
    (ClassSynset () |owl:Nothing|))
  (KB (:kb |http://www.owllink.org/examples/KB_2|))
  (OK ())
  (OK ())
  (OK ())
  (KBError (:error "http://www.owllink.org/examples/KB_1 does not exist!")))