Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.