DAML+OIL: an ontology language for the Semantic Web | IEEE Journals & Magazine | IEEE Xplore