1. Lecture Notes in Computer Science;J.J. Alferes,2009
2. Alferes, J.J., Knorr, M., Swift, T.: Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010), http://arxiv.org/abs/1007.3515
3. Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning 14, 149–180 (1995)
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2007)
5. Boley, H., Hallmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation (June 22, 2010), http://www.w3.org/TR/rif-core/