Knowledge_representation_and_reasoning loading ...