Liang Chang, Uli Sattler, Tianlong Gu. An ABox Revision Algorithm for the Description Logic EL_bot. 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 459-470, CEUR-WS.org, 2014. [doi]
@inproceedings{ChangSG14, title = {An ABox Revision Algorithm for the Description Logic EL_bot}, author = {Liang Chang and Uli Sattler and Tianlong Gu}, year = {2014}, url = {http://ceur-ws.org/Vol-1193/paper_64.pdf}, researchr = {https://researchr.org/publication/ChangSG14}, cites = {0}, citedby = {0}, pages = {459-470}, 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}, }