Theory revision with queries: Horn, read-once, and parity formulas