Login / Signup

Statistical EL is ExpTime-complete.

Bartosz Bednarczyk
Published in: Inf. Process. Lett. (2021)
Keyphrases
  • description logics
  • exptime complete
  • expressive description logics
  • knowledge base
  • data complexity
  • expressive power
  • pspace complete
  • dl lite
  • knowledge representation
  • np complete
  • reasoning tasks
  • objective function