Chiara Di Francescomarino Chiara Ghidini Marco Rospocher Luciano Serafini Paolo Tonella Reasoning on Semantically Annotated Processes. 132-146 2008 ICSOC http://dx.doi.org/10.1007/978-3-540-89652-4_13 conf/icsoc/2008 db/conf/icsoc/icsoc2008.html#FrancescomarinoGRST08