Belief Revision in Non-Classical Logics

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; 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 Log...