The SNOMED CT Logic Profile is a subset of the OWL 2 EL profile https://www.w3.org/TR/owl2-profiles/#OWL_2_EL as specified in the following sections.

For clarity, the profile has been defined in terms of OWL 2 structure and feature naming, and the profile definition has been deliberately borrowed from, and been kept stylistically similar to, the W3C OWL 2 profile definitions.