(RequestMessage ()
  (CreateKB (:kb |http://www.owllink.org/examples/KB_1|))
  (CreateKB (:kb |http://www.owllink.org/examples/KB_2|))
  (Tell (:kb |http://www.owllink.org/examples/KB_2|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#A|
      |owl:Thing|))
  (CreateKB (:kb |http://www.owllink.org/examples/KB_3|))
  (Tell (:kb |http://www.owllink.org/examples/KB_3|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#A|
      |owl:Thing|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#B|
      |http://www.owllink.org/examples/myOntology#A|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#D|
      |http://www.owllink.org/examples/myOntology#A|))
  (CreateKB (:kb |http://www.owllink.org/examples/KB_4|))
  (Tell (:kb |http://www.owllink.org/examples/KB_4|)
    (EquivalentClasses
      |http://www.owllink.org/examples/myOntology#A|
      |owl:Thing|)
    (EquivalentClasses 
      |http://www.owllink.org/examples/myOntology#C|
      |owl:Nothing|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#B|
      |owl:Thing|))
  (GetSubClassHierarchy (:kb |http://www.owllink.org/examples/KB_1|))
  (GetSubClassHierarchy (:kb |http://www.owllink.org/examples/KB_2|))
  (GetSubClassHierarchy (:kb |http://www.owllink.org/examples/KB_3|))
  (GetSubClassHierarchy (:kb |http://www.owllink.org/examples/KB_4|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_1|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_2|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_3|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_4|)))