Making DL-Lite Planning Practical.

Stefan Borgwardt Jörg Hoffmann Alisa Kovtunova Marcel Steinmetz

Published in: KR (2021)

Keyphrases

dl lite
description logics
query answering
data complexity
first order logic
conjunctive queries
artificial intelligence
integrity constraints
data exchange
reasoning tasks
database
query language
query optimization
computational properties