Lifschitz, V. **1991. Nonmonotonic databases and epistemic queries. In** Proceedings of the 12th International Joint Conferences on Artifical Intelligence, IJCAI'91**, J. Mylopoulos and R. Reiter, Eds. 381–386.**
Lloyd, J. W. **1987.** *Foundations of Logic Programming***, 2nd ed. Springer.** Lukasiewicz, T. **2010. A novel combination of answer set programming with description logics for**
the Semantic Web. IEEE Transactions on Knowledge and Data Engineering (TKDE) 22, 11 (November), 1577–1592.

Lutz, C., Toman, D., and Wolter, F. **2009. Conjunctive query answering in the description**
logic el using a relational database system. In *IJCAI'09: 21st International Joint Conference* on Artificial Intelligence**. Morgan Kaufmann, 2070–2075.**
Mei, J., Liu, S., Xie, G. T., Kalyanpur, A., and Fokoue, A. **2009. A practical approach**
for scalable conjunctive query answering on acyclic EL+ **knowledge base. In** The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, *ISWC 2009, Chantilly, VA,*
USA, October 25-29, 2009. Proceedings**, A. Bernstein, D. R. Karger, T. Heath, L. Feigenbaum,** D. Maynard, E. Motta, and K. Thirunarayan, Eds. Springer, 408–423.

Motik, B., Grau, B. C., Horrocks, I., Wu, Z., Fokoue, A., and Lutz, C.**, Eds. 2009.** *Profiles*.

W3C Recommendation 27 October 2009. Available at http://www.w3.org/TR/owl2-profiles/.

Motik, B. and Rosati, R. **2007. A faithful integration of description logics with logic programming. In** Proceedings of the Twentieth International Joint Conference on Artificial Intelligence
(IJCAI-07)**, M. M. Veloso, Ed. AAAI Press, Hyderabad, India, 477–482.**
Motik, B. and Rosati, R. **2010. Reconciling Description Logics and Rules.** Journal of the ACM 57, **5, 93–154.**
Patel, C., Cimino, J. J., Dolby, J., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Schonberg, E., and Srinivas, K. **2007. Matching patient records to clinical trials using**
ontologies. In *The Semantic Web, 6th International Semantic Web Conference, 2nd Asian* Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007, K. Aberer, K.-S. Choi, N. F. Noy, D. Allemang, K.-I. Lee, L. J. **B. Nixon, J. Golbeck, P. Mika,**
D. Maynard, R. Mizoguchi, G. Schreiber, and P. Cudr´e-Mauroux, Eds. Springer, 816–829.

Pearce, D. and Wagner, G. **1990. Reasoning with negative information I: Strong negation in**
logic programs. In *Language, Knowledge and Intentionality***, L. Haaparanta, M. Kusch, and** I. Niiniluoto, Eds. Acta Philosophica Fennica 49, 430–453.

Pereira, L. M. and Alferes, J. J. **1992. Well founded semantics for logic programs with explicit**
negation. In 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992**, B. Neumann, Ed. John Wiley and Sons, Chichester, 102–106.**
Rosati, R. **2007. On conjunctive query answering in EL. In** *Description Logics 2007***, D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan, and S. Tessaris, Eds.**
CEUR Electronic Workshop Proceedings.

Sagonas, K., Swift, T., and Warren, D. S. **2000. The limits of fixed-order computation.**
Theoretical Computer Science 254, **1-2, 465–499.**
Slota, M. and Leite, J. **2010a. On semantic update operators for answer-set programs. In**
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)**, H. Coelho,** R. Studer, and M. Wooldridge, Eds. Frontiers in Artificial Intelligence and Applications, vol. 215. IOS Press, Lisbon, Portugal, 957–962.

Slota, M. and Leite, J. **2010b. Towards Closed World Reasoning in Dynamic Open Worlds.**
Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming
(ICLP'10) Special Issue 10, **4-6 (July), 547–564.**
Slota, M. and Leite, J. **2011. Back and forth between rules and SE-models. In** *Proceedings* of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
(LPNMR-11), J. P. Delgrande and W. Faber, Eds. Lecture Notes in Computer **Science, vol.** 6645. Springer, Vancouver, Canada, 174–186.

Slota, M., Leite, J., and Swift, T. **2011. Splitting and updating hybrid knowledge bases.**
Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue 11, **4-5, 801–819.**
ACM Transactions on Computational Logic, Vol. V, No. N, September 2018.