@misc{indiciaefa4f666a6ffb,
  title = {A set-theoretical approach for ABox reasoning services (Extended Version)},
  author = {Domenico Cantone and Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria},
  year = {2024},
  doi = {10.1007/978-3-319-61252-2\_7},
  url = {https://arxiv.org/abs/1702.03096},
  note = {Source identifier: 1702.03096}
}