P. Patel-schneider and P. Hayes, Horrocks, I.: OWL web ontology language semantics and abstract syntax, p.3, 2004.

S. Tobies, The complexity of reasoning with cardinality restrictions and nominals in expressive description logics, Journal of Artificial Intelligence Research, vol.12, pp.199-217, 2000.

A. V. Aho and J. D. Ullman, Universality of data retrieval languages, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979.
DOI : 10.1145/567752.567763

F. Baader, Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991.

M. Ortiz, An automata-based algorithm for description logics around SRIQ, Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning, 2008.

D. Calvanese, T. Eiter, and M. Ortiz, Regular path queries in expressive description logics with nominals, In: IJCAI, pp.714-720, 2009.
DOI : 10.1016/j.ic.2014.04.002

URL : http://www.inf.unibz.it/~calvanese/papers/calv-eite-orti-AAAI-2007.pdf

I. Horrocks and U. Sattler, A Tableau Decision Procedure for $\mathcal{SHOIQ}$, Journal of Automated Reasoning, vol.12, issue.2, pp.249-276, 2007.
DOI : 10.1016/j.websem.2007.03.004

B. Motik, R. Shearer, and I. Horrocks, Hypertableau reasoning for description logics, J. of Artificial Intelligence Research, vol.36, pp.165-228, 2009.

I. Pratt-hartmann, Complexity of the Two-Variable Fragment with Counting Quantifiers, Journal of Logic, Language and Information, vol.28, issue.4, pp.369-395, 2005.
DOI : 10.1145/322276.322287

L. Duc, C. Lamolle, and M. , Decidability of description logics with transitive closure of roles, Proceedings of the 23rd International Workshop on Description Logics CEUR-WS.org, 2010.

I. Horrocks, U. Sattler, and S. Tobies, Practical Reasoning for Expressive Description Logics, Proceedings of the International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 1999.
DOI : 10.1007/3-540-48242-3_11

URL : http://www.cs.man.ac.uk/~horrocks/Publications/download/1999/lpar99.ps.gz

F. Baader and W. Nutt, Basic description logics In: The Description Logic Handbook: Theory, Implementation and Applications, pp.47-104, 2007.

M. J. Fischer and R. I. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.174-211, 1979.
DOI : 10.1016/0022-0000(79)90046-1

L. Duc, C. Lamolle, M. Curé, and O. , A decision procedure for SHOIQ with transitive closure of roles in concept axioms, 2013.