Kejia Wu, Volker Haarslev. A Parallel Reasoner for the Description Logic ALC. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{WuH12-1,
title = {A Parallel Reasoner for the Description Logic ALC},
author = {Kejia Wu and Volker Haarslev},
year = {2012},
url = {http://ceur-ws.org/Vol-846/paper_33.pdf},
researchr = {https://researchr.org/publication/WuH12-1},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
volume = {846},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}