owl axiom
OWL axiom
This is the full name for axiom.
axiom
A true statement that serves as a premise or starting point for further reasoning.
Notes
The axioms that specify SNOMED CT concept definition release files as SNOMED CT relationships or as OWL axioms that conform to the OWL Functional Syntax.
Change Notices
Since July 2019 all axioms in the stated view of concept definitions have been represented as OWL axioms. Before July 2018, the stated view was represented using relationships and during a transitional period ending in July 2019 some axioms in stated view were represented using the OWL functional syntax.
The inferred view __ of concept definitions continues to be represented using relationships.
Alternatives
OWL axiom
Related Links
SNOMED CT Logic Profile Specification
SNOMED CT OWL Guide
Last updated