A true statement that serves as a premise or starting point for further reasoning.
Notes
- The axioms that specify as or as OWL axioms that conform to the .
Change Notices
- Since July 2019 all axioms in the of have been represented as OWL axioms.
Before July 2018, the stated view was represented using and during a transitional period ending in July 2019 some axioms in were represented using the . - The of concept definitions continues to be represented using .
Alternatives
Related Links