QueryPIE: Backward reasoning for OWL Horst over very large knowlege bases

Both materialization and backward-chaining as dierent modes of performing inference have complementary advantages and disadvan- tages. Materialization enables very ecient responses at query time,