An ontology language and a descriptive logic that provide a standardized way of describing knowledge for the Semantic Web.