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.