Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.

Víctor Gutiérrez-Basulto Jean Christoph Jung

Published in: IJCAI (2017)

Keyphrases

dl lite
description logics
query answering
first order logic
expressive power
temporal logic
data complexity
temporal reasoning
reasoning tasks
computational complexity
query rewriting
model checking
multi agent systems
data model