Syntax
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.