"Integrating Description Logics and Action Formalisms for Reasoning about Web Services"
CLICK HERE TO DOWNLOAD