Ontologies and the semantic web