Class(OWLOntology complete Ontology restriction(hasExpressivity someValuesFrom(OWL-DL))) SubClassOf(OWLOntology DescriptionLogicOntology)