ResponseMessage(
  Description(
    Attribute(name "MyOwnReasoner")
    ProtocolVersion(
      Attribute(major 1)
      Attribute(minor 0))
    ReasonerVersion(
      Attribute(major 1)
      Attribute(minor 0)
      Attribute(build 0))
    Setting(
      Attribute(key "selectedProfile")
      OneOf(Attribute(type xsd:string)
        Literal(Attribute(value "OWL DL"))
        Literal(Attribute(value "OWL 2 EL")))
      Literal(Attribute(value "OWL 2 EL")))
    Property(
      Attribute(key "appliedSemantics")
      OneOf(Attribute(type xsd:string)
        Literal(Attribute(value "RDF-based")))
      Literal(Attribute(value "RDF-based")))
    Property(
      Attribute(key "supportedDatatypes")
      List(Attribute(type xsd:anyURI))
        Literal(Attribute(value <http://www.w3.org/2001/XMLSchema#long>))
        Literal(Attribute(value <http://www.w3.org/2001/XMLSchema#int>))
        Literal(Attribute(value <http://www.w3.org/2001/XMLSchema#nonPositiveInteger>))
        Literal(Attribute(value <http://www.w3.org/2001/XMLSchema#nonNegativeInteger>))
        Literal(Attribute(value <http://www.w3.org/2001/XMLSchema#short>))
        Literal(Attribute(value <http://www.w3.org/2002/07/owl#real>)))
    Setting(
      Attribute(key "abbreviatesIRIs")
      Datatype(Attribute(IRI xsd:boolean))
      Literal(Attribute(value "true")))
    Property(
      Attribute(key "ignoresAnnotations")
      Datatype(Attribute(IRI xsd:boolean))
      Literal(Attribute(value "true")))
    Property(
      Attribute(key "ignoresDeclarations")
      Datatype(Attribute(IRI xsd:boolean))
      Literal(Attribute(value "true")))
    Setting(
      Attribute(key "uniqueNameAssumption")
      Datatype(Attribute(IRI xsd:boolean))
      Literal(Attribute(value "true")))
    SupportedExtension(
      Attribute(identifier <http://www.owllink.org/ext/retraction>))
    SupportedExtension(
      Attribute(identifier <http://www.owllink.org/ext/told>))
    PublicKB(
      Attribute(kb <http://www.owllink.org/examples/KB_1>)
      Attribute(name "Test KB 1"))
    PublicKB(
      Attribute(kb <http://www.owllink.org/examples/KB_2>)
      Attribute(name "Test KB 2"))))