however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include ? besides most Description Logics such as the ones behind OWL ? Horn Logic and Intuitionistic logic, amongst others.