In this paper, the authors examine and interpret the concept of Traditional Chinese Medicine (TCM) whom the Chinese believes and practices for so many centuries. The authors also explain the ancient Chinese concepts of Chi and Tao (Yin and Yang) which are the foundation of the TCM. This paper also seeks to discuss the ways of attaining a healthy body with the clarity of mind as well as to demon...

We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different “sources of complexity”, which we isolate one by one. We consider both reasoning with simple concept expressions and with an underlying TBox. We discuss also complexity of instance check in simple ABoxes. We tried to en...