Fig. 1
From: Reporting and connecting cell type names and gating definitions through ontologies

Automated cell field validator. The validator takes a cell type and gating definition as an input, extracts the logical axioms associated with them, and checks for conflicts which are highlighted in red