Given a query, expressed as a conjunctive Datalog rule, HOLMES generates a probabilistic model using knowledge-based model construction (KBMC) (Wellman et al., 1992).
hOLMES utilizes fast, logical inference to find the subset of ground assertions and inference rules that may influence the answers to the query -enabling the construction of a small and focused Markov network.