TY - RPRT TI - First steps in the logic-based assessment of post-composed phenotypic descriptions AU - Ernesto Jimenez-Ruiz AU - Bernardo Cuenca Grau AU - Rafael Berlanga AU - Dietrich Rebholz-Schuhmann PY - 2010 UR - https://arxiv.org/abs/1012.1659 ID - 1012.1659 ER -