New Forms of Reasoning for the Semantic Web