Because exact probabilistic inference is #Pcomplete, HOLMES uses approximate methods, but even these techniques have problems if the Markov network gets too large.
hOLMES creates the network incrementally.