Applications of Feasible Inference for Expressive Logics (Toepassingen van efficiënt redeneren voor expressieve logica's)