DAML+OIL: an ontology language for the Semantic Web | Synapse