On Theory Revision with Queries