Knowledge Representation and the Semantic Web