OWL Axiom Support
OWL Axioms are represented by an OWL Functional Syntax string in the OWL expression field of the OWL Axiom Reference Set, which is designed to cover all logic definitions in SNOMED CT.
The OWL Axiom Reference Set can be viewed and authored in Snow Owl just as any other Reference Set.
The OWL Axiom members can be viewed on the Memberships Tab of the Concept Editor.
The expressions can be downloaded to file in .txt format via the member tooltip.
GCI Axioms are displayed on the SNOMED CT Concept Visualization Page, together with the stated properties of the concept.
OWL Axiom based authoring
OWL Axiom members can be added, deleted, and converted to different axioms (Class/EquivalentClass/GCI) by using buttons available on the Editor Page.
For more information, please refer to the Authoring Mode Selection section of the Snow Owl Client Reference.
pageAuthoring Mode Selection
