A more expressive language for designing and sharing ontologies with a rich vocabulary of concepts, properties, and axioms.