Service Layer and Axioms for User Access to the Cloud by Means of Ontologies | IEEE Conference Publication | IEEE Xplore