Temporal DL-Lite over Finite Traces (Preliminary Results).

Alessandro Artale Andrea Mazzullo Ana Ozaki

Published in: Description Logics (2019)

Keyphrases

dl lite
description logics
query answering
data complexity
knowledge base
first order logic
temporal information
temporal reasoning
artificial intelligence
response time
conjunctive queries
query rewriting
function symbols