Tractable closed-world reasoning with updates.
