Statistical EL is ExpTime-complete

Open in new window