Large Scale Semantic Computing Semantic Web technologies distributed reasoning probabilistic reasoning web-scale inference information retrieval