TY  - RPRT
TI  - Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
AU  - Marvin Grosser
AU  - Carsten Lutz
PY  - 2026
UR  - https://arxiv.org/abs/2604.26976
ID  - 2604.26976
ER  -