A family of formal languages used to represent and reason about the concepts and relationships in ontologies.