TY  - RPRT
TI  - Quantification and Aggregation over Concepts of the Ontology
AU  - Pierre Carbonnelle
AU  - Matthias Van der Hallen
AU  - Marc Denecker
PY  - 2023
DO  - 10.4204/eptcs.385.22
UR  - https://arxiv.org/abs/2202.00898
ID  - 2202.00898
ER  -