This is a ros service that can be used to query a Markov Logic Network.