TY - RPRT TI - A Note on Semantic Web Services Specification and Composition in Constructive Description Logics AU - Loris Bozzato AU - Mauro Ferrari PY - 2010 UR - https://arxiv.org/abs/1007.2364 ID - 1007.2364 ER -