2007. *The Description Logic Handbook: Theory, Implementation, and Applications***, 2nd ed.**
Cambridge University Press.

Bienvenu, M. 2008. Complexity of abduction in the EL **family of lightweight description logics.**
In *Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR08)***. 220–230.**
Boley, H. and Kifer, M.**, Eds. 2010.** *RIF Overview***. W3C Candidate Recommendation, 22**
June 2010. Available at http://www.w3.org/TR/rif-overview/.

Chen, W. and Warren, D. S. **1996. Tabled Evaluation with Delaying for General Logic Programs.**
43, **1, 20–74.**
Drabent, W. and Ma luszynski, J. ´ **2007. Well-Founded semantics for hybrid rules. In** Proceedings of the First International Conference on Web Reasoning *and Rule Systems (RR2007)*,
M. M. Marchiori, J. Z. Pan, and C. de Sainte Marie, Eds. Springer, 1–15.

Eiter, T., Ianni, G., Lukasiewicz, T., and Schindlauer, R. **2011. Well-founded semantics**
for description logic programs in the Semantic Web. ACM Transactions on Computational Logic 12**, 11:1–11:41.**
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., and Tompits, H. **2008. Combining answer set programming with description logics for the Semantic Web.** *Artificial Intelligence 172,* **12–13 (August), 1495–1539.**
Eiter, T., Ianni, G., Schindlauer, R., and Tompits, H. **2006. Effective integration of declarative**
rules with external evaluations for semantic web reasoning. In *Proceedings of the 3rd European* Conference on Semantic Web (ESWC 2006)**, Y. Sure and J. Domingue, Eds. Springer, 273–287.**
Gelfond, M. and Lifschitz, V. **1991. Classical negation in logic programs and disjunctive**
databases. *New Generation Computing 9***, 365–385.**
Glimm, B., Lutz, C., Horrocks, I., and Sattler, U. **2008. Answering conjunctive queries in**
the SHIQ **description logic.** *Journal of Artificial Intelligence Research 31***, 150–197.**
Gomes, A. S., Alferes, J. J., and Swift, T. **2010. Implementing query answering for hybrid**
MKNF knowledge bases. In Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings**, M. Carro and**
R. Pe˜na, Eds. Springer, 25–39.

Grosof, B. N., Horrocks, I., Volz, R., and Decker, S. **2003. Description logic programs:**
Combining logic programs with description logics. In Proceedings of the World Wide Web Conference (WWW2003), Budapest, Hungary**. ACM, 48–57.**
Hitzler, P., Krotzsch, M. ¨ , Parsia, B., Patel-Schneider, P. F., and Rudolph, S.**, Eds. 2009.**
OWL 2 Web Ontology Language: Primer**. W3C Recommendation 27 October 2009. Available** at http://www.w3.org/TR/owl2-primer/.

Knorr, M. and Alferes, J. J. 2010. Querying in EL+ **with nonmonotonic rules. In** Proceedings of the 19th European Conference on Artificial Intelligence, *ECAI2010***, H. Coelho, R. Studer,** and M. Wooldridge, Eds. IOS Press, 1079–1080.

Knorr, M. and Alferes, J. J. **2011. Querying OWL 2 QL and nonmonotonic rules. In** The Semantic Web –2011–10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23-27**. to appear.**
Knorr, M., Alferes, J. J., and Hitzler, P. **2008. A coherent well-founded model for hybrid**
MKNF knowledge bases. In *Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008***, M. Ghallab, C. D. Spyropoulos, N. Fakotakis, and N. Avouris, Eds. IOS**
Press, 99–103.

Knorr, M., Alferes, J. J., and Hitzler, P. **2011. Local closed world reasoning with description**
logics under the well-founded semantics. *Artificial Intelligence 175,* **9–10 (June), 1528–1554.**
Krotzsch, M. ¨ , Maier, F., Krisnadhi, A. A., and Hitzler, P. **2011. A better uncle for OWL:**
Nominal schemas for integrating rules and ontologies. In Proceedings of the 20th International World Wide Web Conference, WWW2011, March/April 2011**. ACM, 645–654.**
Krotzsch, M. ¨ , Rudolph, S., and Hitzler, P. **2008. ELP: Tractable rules for OWL 2. In** *Proceedings of the 7th International Semantic Web Conference (ISWC-08)***, A. P. Sheth, S. Staab,**
M. Dean, M. Paolucci, D. Maynard, T. Finin, and K. Thirunarayan, Eds. Springer, 649–664.

ACM Transactions on Computational Logic, Vol. V, No. N, September 2018.