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