th Global Conference on Artificial Intelligence On Knowledge Dependence in Weighted Description Logic