Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan. Implementing Completion-Based Inferences for the EL-family. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, editors, Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. Volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
@inproceedings{MendezET11,
title = {Implementing Completion-Based Inferences for the EL-family},
author = {Julian Mendez and Andreas Ecke and Anni-Yasmin Turhan},
year = {2011},
url = {http://ceur-ws.org/Vol-745/paper_56.pdf},
tags = {rule-based},
researchr = {https://researchr.org/publication/MendezET11},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011},
editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},
volume = {745},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}