Class(DieaseOntology partial restriction(hasExpressivity someValuesFrom(DAG)) restriction(hasDomain someValuesFrom(Disease)) DAGOntology)