LoMRF employs a logic-based language for expressing knowledge files (*.mln) and input evidence files (*.db):
- Knowledge base is composed of domain type definitions, predicate and function schema definitions, first-order logic formulas, definite clauses, as well as some build-in functions and predicates with additional functionality.
- Evidence is composed of ground predicate facts and function mappings.