Markov Logic Networks (MLN) are used for rea- soning on uncertain and inconsistent temporal data. We proposed the TMLN (Temporal Markov Logic Network) which extends them with sorts/types, weights on rules and facts, and various temporal consistencies. The NeoMaPy framework integrates it in a knowledge graph based on conflict graphs, which offers flexibility for reasoning with parame- tric Maximum A Posteriori (MAP) inferences, effi- ciency thanks to an optimistic heuristic and interac- tive graph visualization for results explanation.