S. A. Meilraith, T. C. Son, and H. Zeng, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001.
DOI : 10.1109/5254.920599

F. Baader, S. Ghilardi, and C. Lutz, LTL over description logic axioms, Proceeding of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp.684-694, 2008.
DOI : 10.1145/2287718.2287721
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.7780

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter, A description logic based approach to reasoning about Web services, Proceeding of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, pp.636-647, 2005.

J. Mccarthy and P. Hayes, Some philosophical problems form the standpoint of artificial intelligence, Machine Intelligence, vol.4, pp.463-502, 1969.

D. Calvanese, G. De-giacomo, and M. Vardi, Reasoning about actions and planning in LTL action theories, Proceeding of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), pp.593-602, 2002.

F. Baader, C. Lutz, M. Milicic, U. Sattler, and F. Wolter, Integrating description logics and action formalisms: first results, Proceeding of the 12th National Conference on Artificial Intelligence (AAAI'05), pp.572-577, 2005.

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