Snow Owl Client Reference
Search…
7.19.1
Table of Content
🦉
Introduction
Getting Started
User Interface
Preferences
🔎
Browsing and Searching
SNOMED CT View
Searching
Semantic Queries
Query Language Extension
Scripting
Copying Content
📝
Editing and Authoring
Authoring Mode Selection
SNOMED CT Concept Editor
SNOMED CT Editing
Evaluating Changes
🧠
Description Logic
Running the Classification
Classification Results
Reasoners
ELK
🧱
Concept model
Machine Readable Concept Model
Editing MRCM
📄
Reference Sets
Reference Set Types
Reference Set View
Reference Set Editor
Authoring
Combining Reference Sets
Compare Reference Sets
📚
Value Sets
Value Sets
Value Set View
Value Set Editor
Import
Authoring
Combining Value Sets
Export
🌏
Mapping Sets
Mapping Sets
Mapping Sets View
Mapping Set Editor
Import
Authoring
Mapping Set Transformations
Automapping
Comparing Mapping Sets
Validation
Export
🏥
Local Code Systems
Import
Searching
Authoring
Validation
Export
📅
Versioning
Introduction
Creating a New Version
Switching Between Versions
Version Compare
🔁
Content Management
Code Systems
Code Systems View
SNOMED CT Importing
SNOMED CT Publishing
SNOMED CT Extensions
SNOMED CT Upgrade
👩‍⚕️👨‍⚕️ Collaborative authoring
Task Life Cycle
The Task List View
Task Editor
Authoring
Task Query
✅
Validation
Run Validation
Validation Issues View
Whitelisting
📓
SNOMED CT Templates
SNOMED CT Templates
Import
Templates View
Authoring
Concept Creation by Templates
Export
🩺
UMLS Code Systems
Import
Manage Code Systems
Searching and Browsing
🛑
Error Handling
Troubleshooting
Error Messages
Powered By GitBook
ELK
ELK is Snow Owl's default description logic reasoner. In addition to being the fastest reasoner for SNOMED CT in the world, ELK provides partial support for concrete domains, which are becoming increasingly important to represent national drug dictionary extensions.
Snow Owl includes the latest ELK 0.4.3, which includes support for additional OWL EL constructs. ELK now supports EL++ restricted to safe nominals (see Practical Reasoning with Nominals in the EL Family of Description Logics) with partial support for concrete roles.
Concept constructors:
  • Top concept
  • Bottom concept
  • Concept conjunctions
  • Existential (abstract) role restrictions
  • Safe nominals (ObjectHasValue)
  • Preliminary support for existential restrictions on concrete roles with a nominal value (DataHasValue)
Axiom types:
  • General concept inclusions (GCIs)
  • Disjoint concepts
  • Role hierarchies (abstract roles)
  • Role transitivity, role reflexivity, and role chains (abstract roles)
  • Concept assertions and role assertions
Description Logic - Previous
Reasoners
Next - Concept model
Machine Readable Concept Model
Last modified 1mo ago
Export as PDF
Copy link