cores (LOMOREVI Eurocores Project FP006/FFI2008-03126-E/FILO), Spanish Ministry of Education and Science (project MULOG2 TIN2007-68005-C0401), and Catalan Government (2009SGR-1433).

## References

[1] Stefano Aguzzoli. The complexity of McNaughton functions of one variable.

Advances in Applied Mathematics**, 21(1):58–77, 1998.**
[2] Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter F. Patel-Schneider. The Description Logic Handbook: Theory, Implementation, and Applications**. Cambridge University Press, 2003.**
[3] Franz Baader, Enrico Franconi, Bernhard Hollunder, Bernhard **Nebel,**
Hans-J¨urgen Profitlich. An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on. Applied Artificial Intelligence**, 4:109–132, 1994.**
[4] Franz Baader, Ian Horrocks, Ulrike Sattler. Description logics as ontology languages for the semantic web. In Dieter Hutter and Werner Stephan, editors, **Mechanizing Mathematical Reasoning: Essays in Honor of J¨org H.** Siekmann on the Occasion of His 60th Birthday, volume 2605 of **Lecture** Notes in Artificial Intelligence**, p. 228–248. Springer-Verlag, 2005.**
[5] Patrick Blackburn, Maarten de Rijke, Yde Venema. Modal Logic**. Cambridge University Press, 2001.**
[6] Fernando Bobillo, Umberto Straccia. A fuzzy description logic with **product**
t-norm. In **Proceedings of the 16th IEEE International Conference on Fuzzy** Systems (FUZZ-IEEE 2007)**, p. 652–657. IEEE Press, 2007.**
[7] Fernando Bobillo, Umberto Straccia. On qualified cardinality restrictions in fuzzy description logics under Lukasiewicz semantics. In **Proceedings of the**
12th International Conference of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2008)**, p. 1008–1015,** 2008.

[8] Fernando Bobillo, Umberto Straccia. Fuzzy description logics with **general**
t-norms and datatypes. Fuzzy Sets and Systems **160(23):3382–3402, 2009.**
[9] Angel Garc´ıa-Cerda˜na, Eva Armengol, Francesc Esteva. Fuzz ` **y description**
logics and t-norm based fuzzy logics. **International Journal of Approximate** Reasoning**. In press.**
[10] Petr H´ajek. Metamathematics of Fuzzy Logic**. Kluwer, 1998.**
[11] Petr H´ajek. Making fuzzy description logic more general. **Fuzzy Sets and**
Systems**, 154(1):1–15, 2005.**