Kun Hu, Xueli Yu, Zhi Li, HongKang Zhu. The Temporal Description Logic TL-SI and its Decidability Algorithm. In International Conference on Computational Aspects of Social Networks, CASoN 2010, Taiyuan, China, 26-28 September 2010. pages 575-578, IEEE Computer Society, 2010. [doi]
Abstract is missing.