axiom

A true statement that serves as a premise or starting point for further reasoning.

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