F. Baader, Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, pp.446-451

D. Giacomo, G. Massacci, and F. , Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL, Information and Computation, vol.162, issue.1-2, pp.117-137, 2000.
DOI : 10.1006/inco.1999.2852

M. Fattorosi-barnaba and F. De-caro, Graded modalities I. Stud, Log, vol.44, issue.2, pp.197-221, 1985.
DOI : 10.1007/bf00379767

K. Fine, In so many possible worlds., Notre Dame Journal of Formal Logic, vol.13, issue.4, pp.516-520, 1972.
DOI : 10.1305/ndjfl/1093890715

W. Van-der-hoek and M. De-rijke, Counting Objects, Journal of Logic and Computation, vol.5, issue.3, pp.325-345, 1995.
DOI : 10.1093/logcom/5.3.325

B. Hollunder and F. Baader, Qualifying number restrictions in concept languages, KR'91, pp.335-346, 1991.

I. Horrocks, O. Kutz, and U. Sattler, The even more irresistible SROIQ, pp.57-67, 2006.

I. Horrocks and U. Sattler, A description logic with transitive and inverse roles and role hierarchies, Journal of Logic and Computation, vol.9, issue.3, pp.385-410, 1999.
DOI : 10.1093/logcom/9.3.385

I. Horrocks and U. Sattler, Ontology reasoning in the SHOQ(D) description logic, pp.199-204, 2001.

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

I. Horrocks, U. Sattler, and S. Tobies, A PSpace-algorithm for deciding ALCN I R + satisfiability, 1998.

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

I. Horrocks, U. Sattler, and S. Tobies, Practical reasoning for very expressive description logics, Logic Journal of IGPL, vol.8, issue.3, pp.239-263, 2000.
DOI : 10.1093/jigpal/8.3.239

URL : http://arxiv.org/abs/cs/0005013

M. Kaminski, S. Schneider, and G. Smolka, Terminating tableaux for graded hybrid logic with global modalities and role hierarchies, TABLEAUX 2009, pp.235-249, 2009.

M. Kaminski and G. Smolka, Hybrid Tableaux for the Difference Modality, Electronic Notes in Theoretical Computer Science, vol.231, pp.4-5, 2009.
DOI : 10.1016/j.entcs.2009.02.039

M. Kaminski and G. Smolka, Terminating Tableau Systems for Hybrid Logic with Difference and Converse, Journal of Logic, Language and Information, vol.9, issue.3, pp.437-464, 2009.
DOI : 10.1007/s10849-009-9087-8

M. Kaminski and G. Smolka, Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles, DL 2009. CEUR Workshop Proceedings, 2009.
DOI : 10.1007/978-3-642-15240-5_16

URL : https://hal.archives-ouvertes.fr/hal-01054458

Y. Kazakov and I. Pratt-hartmann, A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.407-416, 2009.
DOI : 10.1109/LICS.2009.17

Y. Kazakov, U. Sattler, and E. Zolin, How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited, LPAR 2007, pp.303-317, 2007.
DOI : 10.1007/978-3-540-75560-9_23

U. Sattler, Description logics for the representation of aggregated objects, pp.239-243, 2000.

K. Schild, A correspondence theory for terminological logics: Preliminary report, pp.466-471

M. Schmidt-schauß and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence, vol.48, issue.1, pp.1-26, 1991.
DOI : 10.1016/0004-3702(91)90078-X

L. Schöder and D. Pattinson, How many toes do I have? Parthood and number restrictions in description logics, pp.307-317, 2008.

C. Stirling and D. Walker, Local model checking in the modal mu-calculus, Theoretical Computer Science, vol.89, issue.1, pp.161-177, 1991.
DOI : 10.1016/0304-3975(90)90110-4