Michael Grüninger, Richard Hull, Sheila A. McIlraith: A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31(3): 3-7 (2008)