LAS: Extending Racer by a Large ABox Store. - CuiMing Chen; Volker Haarslev; JiaoYue Wang (Description Logics, 2005)