Sign in

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

Roman KontchakovVladislav RyzhikovFrank WolterMichael 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