Abstract Knowledge compilation is an alternative solution to address demanding reasoning
tasks with high complexity via converting knowledge bases into a suitable target language …