Automated Reasoning with Boolean ABoxes