In order to automatically understand the inferred relationships between SNOMED CT expressions and/or precoordinated concepts, the expressions should be classified using a semantic reasoner. A number of reasoners exist, such as Snorocket, ELK and FACT++, which can classify and reason over OWL 2 EL.

Before a SNOMED CT compositional grammar expression can be classified using one of these reasoners, it must first be parsed (as described in section 7.2), normalised and then translated into OWL 2 EL. The specific normalisation transformations that are required prior to translation into OWL include:

The translation into OWL can then be performed in a variety of programming languages, including Perl.