Constraint Propagation to Semantic Web Services Discovery

This paper proposes a framework for semantic web services discovery. Services are described by means of terminological axioms. We propose a method for services discovery based on constraint propagation. We apply specific propagation rules to make explicit a part of the knowledge about services which is implicitly available in the query.