P. Patel-schneider, P. Hayes, and I. Horrocks, 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.

L. Duc, C. Aroyo, L. Traverso, P. Ciravegna, F. Cimiano et al., Decidability of SHI with transitive closure of roles, ESWC 2009, pp.368-383, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00793443

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.

D. Giacomo, G. Lenzerini, and M. , Boosting the correspondence between description logics and propositional dynamic logics, Proceedings of the 12th National Conference on Artificial Intelligence, pp.205-212, 1994.

D. Giacomo, G. Lenzerini, and M. , What's in an aggregate: Foundations for description logics with tuples and sets, Proceedings of the Fourteenth International Joint Conference On Intelligence Artificial, p.1995, 1995.

I. Horrocks and U. Sattler, Decidability of <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">SHIQ</mml:mi></mml:math> with complex role inclusion axioms, Artificial Intelligence, vol.160, issue.1-2, pp.79-104, 2004.
DOI : 10.1016/j.artint.2004.06.002

I. Horrocks, O. Kutz, and U. Sattler, The even more irresistible SROIQ, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 2006.

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

I. Horrocks, U. Sattler, and S. Tobies, Practical Reasoning for Expressive Description Logics, LPAR 1999, 1999.
DOI : 10.1007/3-540-48242-3_11

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.1007/s10817-007-9079-9

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.

L. Duc, C. Lamolle, M. Curé, and O. , A tableaux-based algorithm for SHIQ with transitive closure of roles in concept and role inclusion axioms, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00738380