> For the complete documentation index, see [llms.txt](https://docs.b2ihealthcare.com/snow-owl-authoring-platform/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.b2ihealthcare.com/snow-owl-authoring-platform/introduction/preferences/reasoners.md).

# Reasoners

### Available reasoners <a href="#applicationpreferences-availablereasoners" id="applicationpreferences-availablereasoners"></a>

Go to `File > Preferences > Snow Owl > Reasoners` to bring up the preference page.

Snow Owl includes the following reasoner:

| Reasoner                                         | Description                                                                                                                                                                           |
| ------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| [ELK](http://code.google.com/p/elk-reasoner/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. |

<figure><img src="https://content.gitbook.com/content/N7ynFOLTw3W9Zow9AaAJ/blobs/s3hYcMjWe7De439iYA9O/image.png" alt=""><figcaption><p>Reasoners Preferences Page</p></figcaption></figure>

The selected reasoner will be used to classify SNOMED CT.&#x20;