OWL Axiom

An OWL axiom is an expression that defines relationships between entities in an Ontology that are known to be always true.

Example

This may be relations such as:

• $x$ is a subclass of $y$
• $x$ is a variant of the algebraic type $y$
• $x$ is equal to $y$ but not $z$