Ontology Reasoning for the Semantic Web