An Efficient Reasoner for Description Logics of Typicality and Rational Closure

Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli. An Efficient Reasoner for Description Logics of Typicality and Rational Closure. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

@inproceedings{0001GPR17-0,
  title = {An Efficient Reasoner for Description Logics of Typicality and Rational Closure},
  author = {Laura Giordano 0001 and Valentina Gliozzi and Gian Luca Pozzato and Riccardo Renzulli},
  year = {2017},
  url = {http://ceur-ws.org/Vol-1879/paper25.pdf},
  researchr = {https://researchr.org/publication/0001GPR17-0},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017},
  editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov},
  volume = {1879},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}