OWL Expression

An OWL expression is a statement about an entity in terms of axioms and other entities.

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$