Concept assertion

Redirect to:

• Description logic#concept assertion