Class(DescriptionLogicOntology complete Ontology restriction(hasExpressivity someValuesFrom(DescriptionLogic)))