본 논문은 Datalog에 메트릭 시간 연산자를 추가한 DatalogMTL에서의 불일치 처리 문제를 다룬다. DatalogMTL에서는 사실(fact)에 시간 구간이 연결되어 있으므로, 사실이 규칙과 모순될 때 사실을 제거하거나 시간 구간을 수정하는 등 여러 가지 방법으로 일관성을 복구할 수 있다. 논문은 먼저 이러한 설정에서의 충돌(불일치에 대한 최소한의 설명)과 복구(일관성을 복구하는 가능한 방법)에 대한 관련 개념을 정의하고, 이러한 개념과 관련된 불일치 허용 의미론의 속성을 연구한다. 두 번째로, 단일 충돌/복구 생성 작업과 복구 기반 의미론 하에서의 질의 함축에 대한 데이터 복잡도 분석을 수행한다.
