Gellish is an example of a combined ontology language and ontology that is description logic based. It distinguishes between the semantic differences among others of:
relation types for relations between concepts (classes)
relation types for relations between individuals
relation types for relations between individuals and classes
It also contains constructs to express queries and communicative intent.
First-order logic-based
Several ontology languages support expressions in first-order logic and allow general predicates.