@inproceedings(nguyen06jelia, author = {Linh Anh Nguyen}, title = {A Bottom-up Method for the Deterministic {Horn} Fragment of the Description Logic {ALC}}, booktitle = {Proceedings of JELIA 2006, LNAI 4160}, editor = {M. Fisher et al.}, publisher = {Springer-Verlag}, pages = {346-358}, year = 2006)