Quantification and aggregation over concepts of the ontology