DELGRANDE, J. P., SCHAUB, T., AND TOMPITS, H. 2007. A preference-based framework for updating logic programs. In *Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)*, C. Baral, G. Brewka, and J. S. Schlipf, Eds.

Lecture Notes in Computer Science, vol. 4483. Springer, Tempe, AZ, USA, 71–83.

DELGRANDE, J. P., SCHAUB, T., TOMPITS, H., AND WOLTRAN, S. 2008. Belief revision of logic programs under answer set semantics. In *Proceedings of the 11th International Conference on* Principles of Knowledge Representation and Reasoning (KR 2008), G. Brewka and J. Lang, Eds.

AAAI Press, Sydney, Australia, 411–421.

DIX, J. 1995. A classification theory of semantics of normal logic programs: II. Weak properties.

Fundamenta Informaticae 22, 3, 257–288.

EITER, T., FINK, M., SABBATINI, G., AND TOMPITS, H. 2002. On properties of update sequences based on causal rejection. *Theory and Practice of Logic Programming (TPLP) 2,* 6, 721–777.

GELDER, A. V., ROSS, K. A., AND SCHLIPF, J. S. 1991. The well-founded semantics for general logic programs. *Journal of the ACM 38,* 3, 620–650.

GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming.

In Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988), R. A. Kowalski and K. A. Bowen, Eds. MIT Press, Washington, 1070–1080.

GIACOMO, G. D., LENZERINI, M., POGGI, A., AND ROSATI, R. 2006. On the update of description logic ontologies at the instance level. In Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference. AAAI Press, Boston, Massachusetts, USA.

HITZLER, P. AND PARSIA, B. 2009. Ontologies and rules. In *Handbook on Ontologies*, second ed.,
S. Staab and R. Studer, Eds. International Handbooks on Information Systems. Springer, 111–132.

KATSUNO, H. AND MENDELZON, A. O. 1991. On the difference between updating a knowledge base and revising it. In *Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)*, J. F. Allen, R. Fikes, and E. Sandewall, Eds. Morgan Kaufmann Publishers, Cambridge, MA, USA, 387–394.

KNORR, M., ALFERES, J. J., AND HITZLER:, P. 2011. Local closed world reasoning with description logics under the well-founded semantics. *Artificial Intelligence*. To appear.

LEITE, J. A. 2003. *Evolving Knowledge Bases*. Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover, vol. 81. IOS Press.

LEITE, J. A. AND PEREIRA, L. M. 1997. Generalizing updates: From models to programs. In Proceedings of the 3rd International Workshop on Logic Programming and Knowledge Representation (LPKR '97), J. Dix, L. M. Pereira, and T. C. Przymusinski, Eds. Lecture Notes in Computer Science, vol. 1471. Springer, Port Jefferson, New York, USA, 224–246.

LIFSCHITZ, V. 1991. Nonmonotonic databases and epistemic queries. In *Proceedings of the 12th* International Joint Conference on Artificial Intelligence *(IJCAI91)*. 381–386.

LIFSCHITZ, V., PEARCE, D., AND VALVERDE, A. 2001. Strongly equivalent logic programs. ACM
Transactions on Computational Logic (TOCL) 2, 4, 526–541.

LIFSCHITZ, V. AND TURNER, H. 1994. Splitting a logic program. In *Proceedings of the 11th* International Conference on Logic Programming (ICLP 1994), P. V. Hentenryck, Ed. MIT Press, Santa Margherita Ligure, Italy, 23–37.

LIU, H., LUTZ, C., MILICI ˇ C´, M., AND WOLTER, F. 2006. Updating description logic ABoxes. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), P. Doherty, J. Mylopoulos, and C. A. Welty, Eds. AAAI Press, Lake District of the United Kingdom, 46–56.

MOTIK, B. AND ROSATI, R. 2007. A faithful integration of description logics with logic programming. In Proceedings of the 20th International Joint Conference on Artificial Intelligence
(IJCAI-07), M. M. Veloso, Ed. Hyderabad, India, 477–482.