[12] Petr H´ajek. Computational complexity of t-norm based propositional fuzzy logics with rational truth constants Fuzzy Sets and Systems**, 157(5):677–**
682, 2006.

[13] Petr H´ajek. On witnessed models in fuzzy logic. Mathematical Logic Quarterly**, 53(1):66–77, 2007.** [14] Thomas Lukasiewicz, Umberto Straccia. Managing uncertainty and vagueness in description logics for the semantic web. **Journal of Web Semantics**,
6(4):291–308, 2008.

[15] Bernhard Nebel. Reasoning and revision in hybrid representation systems.

Volume 422 of Lecture Notes in Artificial Intelligence**, p. 228–248. SpringerVerlag, 1990.**
[16] Klaus Schild. A correspondence theory for terminological logics: Preliminary report. In **Proceedings of the 12th International Joint Conference on**
Artificial Intelligence (IJCAI 1991)**, p. 466–471. Morgan Kaufmann, 1991.**
[17] Manfred Schmidt-Schauß, Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence**, 48(1):1–26, 1991.**
[18] Giorgos Stoilos, Giorgos Stamou. A framework for reasoning with expressive continuous fuzzy description logics. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009)**. CEUR Workshop**
Proceedings, 2009.

[19] Umberto Straccia. Reasoning within fuzzy description logics. **Journal of**
Artificial Intelligence Research**, 14:137–166, 2001.**
[20] Umberto Straccia. A fuzzy description logic for the semantic web. In Elie Sanchez, editor, Fuzzy Logic and the Semantic Web, volume 1 of **Capturing** Intelligence**, p. 73–90. Elsevier Science, 2006.**
[21] Umberto Straccia, Fernando Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. In **Proceedings of the**
5th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2007)**, volume 2, p. 213–220, 2007.**
[22] Umberto Straccia, Fernando Bobillo. Mixed integer programming, general concept inclusions and fuzzy description logics. Mathware & Soft Computing**, 14(3):247–259, 2007.**
[23] Lotfi A. Zadeh. Fuzzy sets. Information and Control**, 8:338–353, 1965.**