| •owl:Thing |
| •Ontology |
| •DAGOntology |
| •DieaseOntology |
| hasExpressivity SOME DAG |
| hasDomain SOME Disease |
| DAGOntology |
Class(DieaseOntology partial restriction(hasExpressivity someValuesFrom(DAG))
restriction(hasDomain someValuesFrom(Disease))
DAGOntology)