1. Areces, C., Blackburn, P., Marx, M.: A roadmap on complexity for hybrid logics. In: Proc. of the 13th Int’l Workshop and 8th Annual Conf. of the EACSL on Computer Science Logic (CSL’05). LNCS, vol. 1683, pp. 307–321. Springer (1999)
2. Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Res. 9, 463–506 (1998)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
4. Baader, F., Lutz, C., Miličić, M., Sattler, U., Wolter., F.: Integrating description logics and action formalisms: first results. In: Proc. of the 12th Nat. Conf. on Artificial Intelligence (AAAI’05), pp. 572–577. AAAI Press / MIT Press (2005)
5. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Sci. Am. 284(5), 34–43 (2001)