Materialization Calculus for Contexts in the Semantic Web