(RequestMessage ()
  (CreateKB (:kb |http://www.owllink.org/examples/KB_1|))
  (Tell (:kb |http://www.owllink.org/examples/KB_1|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#B|
      |http://www.owllink.org/examples/myOntology#A|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#C|
      |http://www.owllink.org/examples/myOntology#A|)
    (EquivalentClasses
      |http://www.owllink.org/examples/myOntology#D|
      |http://www.owllink.org/examples/myOntology#E|)
    (ClassAssertion
      |http://www.owllink.org/examples/myOntology#A|
      |http://www.owllink.org/examples/myOntology#iA|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#C|
      |http://www.owllink.org/examples/myOntology#A|))
  (GetAllClasses (:kb |http://www.owllink.org/examples/KB_1|))
  (GetEquivalentClasses (:kb |http://www.owllink.org/examples/KB_1|)
    |http://www.owllink.org/examples/myOntology#D|)
  (IsEntailedDirect (:kb |http://www.owllink.org/examples/KB_1|)
    (SubClassOf
      |owl:Thing|
      |owl:Nothing|))
  (GetSubClasses (:kb |http://www.owllink.org/examples/KB_1|)
    |http://www.owllink.org/examples/myOntology#C|)
  (CreateKB (:kb |http://www.owllink.org/examples/KB_2| :name "MyKB_2"))
  (Tell (:kb |http://www.owllink.org/examples/KB_2|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#A|
      |http://www.owllink.org/examples/myOntology#B|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_2|))
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_1|))
  (GetAllClasses (:kb |http://www.owllink.org/examples/KB_1|)))