First steps in the logic-based assessment of post-composed phenotypic descriptions

This is the authors' abstract. We don't add key points for this paper.

In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed using a description logic reasoner together with scalable techniques: ontology modularization and approximations of the logical difference between ontologies.