Speed improvements for Abox reasoning