An alternative label for this thing.

enforces the following integrety conditions on this property :⁠—

A thing cannot have the same value for both this property and .

A thing cannot have the same value for both this property and .

also specifies that the literal forms of any alternative Labels for a thing can also be inferred to be values for this property on that thing. This relationship is not expressible in Owl.