Online Markov Logic Network (MLN) Solver (Numerical Extension)

rockit logo Welcome to the online interface of the Markov logic network solver N-RockIt (RockIt: Numerical Extension). N-RockIt solves maximum a-posteriori (MAP) queries and marginal queries formulated in Markov logic networks and support numerical operations. In N-RockIt you can define both, deterministic knowledge (hard formulas) and probabilistic knowledge (soft formulas). We refer to for further information.

Run N-RockIt


You can start building your model from the following example MLNs:

About This Service

Please note that we restricted the time of the ILP solver to 30 Minutes per cutting plane iteration in this online version. After 30 minutes the solver will return the best solution which it currently found. The maximal overall runtime is 3 hours per request. If your model requires more than three hours to be solved, the execution is cancelled.

This service is run on a Dual Core virtual machine with 8 GB ram. Please note that due to resource restrictions we run more than this service on the same machine. Thus, runtimes might vary.

Rest Interface

Programmers can also access our service via rest interface. A description of the required API parameters and a demo client is available here.