Complexity Analysis and Variational Inference for Interpretation-based Probabilistic Description Logic