(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#A|
      |http://www.owllink.org/examples/myOntology#B|)
    (SubClassOf
      |http://www.owllink.org/examples/myOntology#B|
      |http://www.owllink.org/examples/myOntology#C|))
  (IsClassSatisfiable (:kb |http://www.owllink.org/examples/KB_1|)
    |http://www.owllink.org/examples/myOntology#A|)
  (ReleaseKB (:kb |http://www.owllink.org/examples/KB_1|)))