The set of used relation types (classes of relations) and their subsumption hierarchy describe the expression power of the language in which the ontology is expressed.
For example, subsumption architecture consists of layers of interconnected "behaviors", each actually a finite state machine which acts in response to an appropriate input.