Lack of sufficient semantic description makes it difficult to find and compose suitable Web services during analysis, search, and matching processes. As Semantic Web Services provide well-defined meaning, composition of new services is possible through logical deductions achieving resolutions automatically. This book develops an Inference-based Semantic Business Process Composition Agent (SCA). Utilizing Revised Armstrongs Axioms (RAAs) in inferring functional dependencies, SCA System composes available OWL-S based atomic processes into required services. RAAs are embedded in the knowledge...