Login / Signup
Statistical EL is ExpTime-complete.
Bartosz Bednarczyk
Published in:
CoRR (2019)
Keyphrases
</>
description logics
exptime complete
expressive description logics
data complexity
expressive power
reasoning tasks
knowledge base
knowledge representation
sufficient conditions
databases
machine learning
relational databases
dynamic programming
dl lite
pspace complete