Semantic and Efficient Symbolic Learning over Knowledge Graphs