DatalogMTL with negation is an extension of Datalog with metric temporal operators enriched with unstratifiable negation. In this paper, we define the stable, well-founded, Kripke-Kleene, and supported model semantics for DatalogMTL with negation in a very simple and straightforward way, by using the solid mathematical formalism of Approximation Fixpoint Theory (AFT). Moreover, we prove that the stable model semantics obtained via AFT coincides with the one defined in previous work, through the employment of pairs of interpretations stemming from the logic of here-and-there.

翻译：带否定的DatalogMTL是一种扩展了度量时序算子的Datalog，并丰富了不可分层否定。本文通过使用近似定点理论（AFT）这一坚实的数学形式体系，以一种非常简单直接的方式，为带否定的DatalogMTL定义了稳定模型、良基模型、Kripke-Kleene模型及支持模型语义。此外，我们证明了通过AFT获得的稳定模型语义，与先前工作中通过源自此时此地逻辑的解释对所定义的语义是一致的。