@inproceedings{BSDL, author = {Ali Rezaei Divroodi and Linh Anh Nguyen}, title = {On Bisimulations for Description Logics}, booktitle = {Proceedings of CS\&P'2011}, pages = {99-110}, year = {2011} }