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