Answering queries using views over description logics knowledge bases