F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation and Applications, 2003.
DOI : 10.1017/CBO9780511711787

I. Horrocks, P. F. Patel-schneider, and F. V. Harmelen, From SHIQ and RDF to OWL: the making of a Web Ontology Language, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.1, pp.7-26, 2003.
DOI : 10.1016/j.websem.2003.07.001

F. Baader and U. Sattler, An Overview of Tableau Algorithms for Description Logics, Studia Logica, vol.69, issue.1, pp.5-40, 2001.
DOI : 10.1023/A:1013882326814

Z. Z. Shi, M. K. Dong, Y. C. Jiang, and H. J. Zhang, A logical foundation for the semantic Web, Science in China Series F, vol.48, issue.2, pp.161-178, 2005.
DOI : 10.1360/03yf0506

L. Chang, Z. Z. Shi, T. L. Gu, and L. Z. Zhao, A Family of Dynamic Description Logics for Representing and Reasoning About Actions, Journal of Automated Reasoning, vol.2, issue.1, pp.19-70, 2012.
DOI : 10.1007/s10817-010-9210-1

F. Baader, C. Lutz, M. Mili-?i-?, U. Sattler, and F. Wolter, Integrating description logics and action formalisms: first results, Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI'05), pp.572-577, 2005.

A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, The DL-Lite family and relations, J. of Artificial Intelligence Research, vol.36, pp.1-69, 2009.

E. Kharlamov and D. Zheleznyakov, Capturing Instance Level Ontology Evolution for DL-Lite, Proc. of the 10th Int. Conf. on Semantic Web(ISWC'11), pp.321-337, 2011.
DOI : 10.1007/s10817-007-9079-9