On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmin Ibáñez-García, Jean Christoph Jung, Filip Murlak. On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

@inproceedings{GogaczGIJM19,
  title = {On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles},
  author = {Tomasz Gogacz and Víctor Gutiérrez-Basulto and Yazmin Ibáñez-García and Jean Christoph Jung and Filip Murlak},
  year = {2019},
  url = {http://ceur-ws.org/Vol-2373/paper-47.pdf},
  researchr = {https://researchr.org/publication/GogaczGIJM19},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019},
  editor = {Mantas Simkus and Grant E. Weddell},
  volume = {2373},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}