Large ABox Store (LAS) : database support for TBox queries