1. Antoniou G, Viegas DC, Grosof B, Horrocks I, Kifer M, Maluszynski J, Patel-Schneider PF (2006) Combining rules and ontologies, a survey
2. Baader F, Brandt S, Lutz C (2005) Pushing the el envelope. In: Kaelbling LP, Saffiotti A (eds) IJCAI-05, Proceedings of the nineteenth international joint conference on artificial intelligence. Professional Book Center, Edinburgh, pp 364–369
3. Baader, F, Calvanese, D, McGuinness, DL, Nardi, D, Patel-Schneider, PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge
4. Baader F, Hollunder B (1991) A terminological knowledge representation system with complete inference algorithms. In: Boley H, Richter MM (eds) Processing declarative knowledge, international workshop PDK 91. Springer, pp 67–86
5. Cao B, Badia A (2009) Exploiting maximal redundancy to optimize sql queries. Knowl Inf Syst 20: 187–220