The purpose of semantic web services discovery is to use semantic knowledge to find services that can be composed to form an admissible answer to a query. In this paper we consider the advantage of adopting a knowledge-based approach to web services discovery. Services are described by means of terminological axioms and constrained clauses. We apply a specific resolution and a constraint propagation mechanism to evaluate queries over services.