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

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.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Rafael Berlanga Llavori, Dietrich Rebholz-Schuhmann
• Keywords: CORR 2010, Description Logic Reasoner, Education, Post-composed Phenotypic Descriptions, Preliminary Logic-based Evaluation