Explaining Description Logic Reasoning

Francis Kwong. Explaining Description Logic Reasoning. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]

@inproceedings{Kwong04,
  title = {Explaining Description Logic Reasoning},
  author = {Francis Kwong},
  year = {2004},
  url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-104/28Kwong.pdf},
  tags = {logic},
  researchr = {https://researchr.org/publication/Kwong04},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
  editor = {Volker Haarslev and Ralf Möller},
  volume = {104},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}