Zsolt Nagy, Gergely Lukácsy, Péter Szeredi. Description logic reasoning using the PTTP approach. In Bijan Parsia, Ulrike Sattler, David Toman, editors, Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. Volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{NagyLS06:0,
title = {Description logic reasoning using the PTTP approach},
author = {Zsolt Nagy and Gergely Lukácsy and Péter Szeredi},
year = {2006},
url = {http://www.ceur-ws.org/Vol-189/submission_25.pdf},
tags = {logic, systematic-approach},
researchr = {https://researchr.org/publication/NagyLS06%3A0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
editor = {Bijan Parsia and Ulrike Sattler and David Toman},
volume = {189},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}