1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, Cambridge, 2003.
2. An empirical analysis of optimization techniques for terminological representation systems, or: Making KRIS get a move on;Baader;Applied Artificial Intelligence,1994
3. F. Baader, I. Horrocks, U. Sattler, Description logics as ontology languages for the semantic web, in: Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Artificial Intelligence, Vol. 2605, Springer, Berlin, 2005, pp. 228–248.
4. The semantic web;Berners-Lee;Scientific American,2001
5. F. Bobillo, M. Delgado, J. Gómez-Romero, A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions, in: Uncertainty Reasoning for the Semantic Web I, Lecture Notes in Artificial Intelligence, Vol. 5327, Springer, Berlin, 2008, pp. 174–188.