1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press (2003)
2. Bao, J., Tao, J., McGuinness, D.L.: Context representation for the semantic web. In: WebSci 2010 (2010)
3. Bozzato, L., Homola, M., Serafini, L.: ExpTime reasoning for contextualized
$\mathcal{ALC}$
. Tech. Rep. TR-FBK-DKM-2012-1, Fondazione Bruno Kessler, Trento, Italy (2012),
http://dkm.fbk.eu/index.php/Resources
4. Bozzato, L., Homola, M., Serafini, L.: Towards More Effective Tableaux Reasoning for CKR. In: DL 2012. CEUR-WP, vol. 824, pp. 114–124. CEUR-WS.org (2012)
5. Donini, F.M., Massacci, F.: ExpTime tableaux for
$\mathcal{ALC}$
. Artif. Intell. 124(1), 87–138 (2000)