“…Special presents a new WSD method in which an inductive logic programming method is applied to get theories from first-order logic representations. The corpus-based evidence can be combined closely with deep and shallow background knowledge [7]. Navigli proposes a graph-based model with few parameters.…”