1. The Description Logic Handbook: Theory, Implementation, and Applications,2007
2. An overview of tableau algorithms for description logics;Baader;Studia Logica,2001
3. Pushing the EL envelope;Baader,2005
4. Reasoning in expressive description logics with fixpoints based on automata on infinite trees;Calvanese,1999
5. Fuzzy sets;Zadeh;Information and Control,1965