1. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, Y. Katz, Pellet: A Practical OWL-DL Reasoner, Tech. Rep. CS 4766, University of Maryland, College Park, 2005.
2. The Description Logics Handbook,2003
3. From wine to water: optimizing description logic reasoning for nominals;Sirin,2006
4. Description logic reasoning with syntactic updates;Halaschek-Wiener,2006
5. Optimizations for answering conjunctive abox queries;Sirin,2006