ResponseMessage( KB(Attribute(kb )) OK(Attribute(warning "Duplicate axiom ignored")) SetOfClasses( ) SetOfClasses( ) BooleanResponse(Attribute(result "false")) SetOfClassSynsets( ClassSynset(owl:Nothing)) KB(Attribute(kb )) OK() OK() OK() KBError(Attribute(error "http://www.owllink.org/examples/KB_1 does not exist!")))