Abstract
We study the feasibility of applying the dominating paradigm of belief revision, the AGM theory, to logics outside its original scope, with special emphasis given on logics used for ontological representation in the Semantic Web. Such an application would allow determining whether a proposed change operator (e.g., an ontology evolution algorithm) behaves rationally or not. We give a number of interesting theoretical results related to the (generalized) AGM theory and show that our work can find important applications in dynamic environments employing non-classical logical formalisms. We focus on a particular such environment, namely ontology evolution in the Semantic Web, and show how our work can be used to provide ontology evolution researchers with powerful formal tools from the research area of belief revision.