Logics for the Semantic Web