257 citations · 421 across the 16 of their papers we have counts for
1 paper · 2 filters
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…