Boolean Role Inclusions in DL-Lite With and Without Time.

Roman Kontchakov Vladislav Ryzhikov Frank Wolter Michael Zakharyaschev

Published in: KR (2020)

Keyphrases

dl lite
description logics
query answering
data complexity
query rewriting
first order logic
reasoning tasks
databases
knowledge base
computational complexity
expressive power
programming language