A formal representation of the web ontology language (OWL) as a simple text base syntax that is used as a bridge between the structural specification and various concrete syntaxes.
Notes
The OWL Functional Syntax is used to represent axioms in OWL Expression Reference Sets.
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.