greenTara / LoMRF

LoMRF is an open-source implementation of Markov Logic Networks.

LoMRF: Logical Markov Random Fields

LoMRF is an open-source implementation of Markov Logic Networks (MLNs) written in Scala programming language.

Features overview:

1. Parallel grounding algorithm based on Akka Actors library.
2. Marginal (MC-SAT) and MAP (MaxWalkSAT and LP-relaxed Integer Linear Programming) inference.
3. Batch and online weight learning (max-margin and ADAGRAD) (lomrf-wlearn).
4. MLN knowledge base compilation (mlnc):

• Predicate completion.
• Clausal form transformation.
• Replacement of functions with utility predicates and vice versa.
• Reads and produces Alchemy compatible MLN files.

5. Can export ground MRF in various formats (mrfwriter).
6. Can compare MLN theories (mlndiff).

License

LoMRF comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions; See the GNU Lesser General Public License v3 for more details.

Reference in Scientific Publications

Please use the following BibTex entry when you cite LoMRF in your papers:

@misc{LoMRF,
	author = {Anastasios Skarlatidis},
	title = {Logical Markov Random Fields (LoMRF): an open-source implementation of Markov Logic Networks},
	url = {https://github.com/anskarl/LoMRF}
}

Building

See Building and Linking.

Documentation

• Quick-start guide
• Syntax
  • Knowledge base
  • Evidence
• Inference
  • Probabilistic Inference Examples
  • Temporal Probabilistic Inference Examples
• Weight Learning
• CLI Tools
• Building and Linking
• Configuration
• References

The development of LoMRF is powered by: