RockIt

RockIt: A query engine for Markov logic. RockIt answers maximum a-posteriori (MAP) queries (also called MPE queries), marginal queries (also called probability queries), and learns the weights of Markov logic networks. Markov logic is a combination of Markov networks and first-order logic. RockIt is currently the fastest MAP query engine for Markov logic networks.