Web Ontology Representation and Reasoning via Fragments of Set Theory