An SLA ontology to support service discovery in future cloud markets