2 papers
cs.AI2021
Cleaning Inconsistent Data in Temporal DL-Lite Under Best Repair Semantics
Mourad Ouziri, Sabiha Tahrat, Salima Benbernou +1
In this paper, we address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases. Considering the data part of the Knowledge Base as the sour…
cs.AI2020
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…