Rule Induction and Reasoning over Knowledge Graphs
Answer Set Programming with External Source Access