Ken Halland, Arina Britz, Szymon Klarman. TBox Abduction in ALC Using a DL Tableau. In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, editors, Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Volume 1193 of CEUR Workshop Proceedings, pages 556-566, CEUR-WS.org, 2014. [doi]
@inproceedings{HallandBK14,
title = {TBox Abduction in ALC Using a DL Tableau},
author = {Ken Halland and Arina Britz and Szymon Klarman},
year = {2014},
url = {http://ceur-ws.org/Vol-1193/paper_42.pdf},
researchr = {https://researchr.org/publication/HallandBK14},
cites = {0},
citedby = {0},
pages = {556-566},
booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014},
editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus},
volume = {1193},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}