@misc{indiciae84f0ac6d7bd4,
  title = {Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models},
  author = {Marvin Grosser and Carsten Lutz},
  year = {2026},
  url = {https://arxiv.org/abs/2604.26976},
  note = {Source identifier: 2604.26976}
}