Last updated 2 years ago
Go to File > Preferences > Snow Owl > Reasoners to bring up the preference page.
File > Preferences > Snow Owl > Reasoners
Snow Owl includes the following reasoner:
The selected reasoner will be used for classifying SNOMED CT.
Reasoner
Description
ELK
An ontology reasoner with the goal of supporting the OWL 2 EL profile. Remains the world's fastest SNOMED CT classifier and is Snow Owl's default. ELK supports numerical data types.