Making DL-Lite Planning Practical (Extended Abstract).

Stefan Borgwardt Jörg Hoffmann Alisa Kovtunova Marcel Steinmetz

Published in: Description Logics (2021)

Keyphrases

extended abstract
dl lite
description logics
query answering
data complexity
knowledge base
computational complexity
reasoning tasks
databases
knowledge representation
np complete
first order logic
expressive power