Reasoning based on symbolic and parametric knowledge bases: a survey