NamespacePrefix(
  NIL 
  <http://www.owllink.org/owllink#> )

NamespacePrefix(
  "owl" 
  <http://www.w3.org/2002/07/owl#> )

NamespacePrefix(
  "xsi" 
  <http://www.w3.org/2001/XMLSchema-instance> )

RequestMessage(
  
  CreateKB(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> )
    Prefix(
      Attribute(
        name 
        "families" )
      Attribute(
        fullIRI 
        <http://example.com/owl/families/> ))
    Prefix(
      Attribute(
        name 
        "otherOnt" )
      Attribute(
        fullIRI 
        <http://example.org/otherOntologies/families/> )))
  
  LoadOntologies(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> )
    OntologyIRI(
      Attribute(
        IRI 
        <http://www.owllink.org/ontologies/primer.owl> )))
  
  IsKBSatisfiable(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> ))
  
  IsKBConsistentlyDeclared(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> ))
  
  GetKBLanguage(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> ))
  
  ReleaseKB(
    Attribute(
      kb 
      <http://www.owllink.org/ont/families> )))