The task of managing diverse electronic health records requires the consolidation of data from different sources to facilitate clinical research and decision-making support, with the emergence of the Observational Medical Outcomes Partnership - Common Data Model (OMOP-CDM) as a standard relational database schema for structuring health records from different sources. Working with ontologies is strongly associated with reasoners. Implementing them over expansive and intricate Ontologies can pose computational challenges, potentially resulting in slow performance. In this paper, we propose the implementation of a new reasoner based on categorical logic over a translation of OMOP-CDM into an ontology model. This enables enhancements to the efficiency and scalability of implementing such models.