Secrecy-preserving reasoning in simple description logic knowledge bases