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

TL;DR

This paper explores a preliminary logic-based method for evaluating how post-composed phenotypic descriptions integrate with domain ontologies, using description logic reasoning and scalable techniques.

Contribution

It introduces a novel approach combining description logic reasoning with scalable techniques to assess phenotypic descriptions within ontologies.

Findings

Successful preliminary evaluation of the integration method

Demonstrated scalability with ontology modularization

Identified potential for improved phenotypic data analysis

Abstract

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.