Online Markov Logic Network (MLN) Solver (Numerical Extension)
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 https://code.google.com/p/rockit/ for further information.
Run N-RockIt
Examples
You can start building your model from the following example MLNs:
- Example 1:
- Example 2:
- Example 3:
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.