Knowledge base revision is one of the main problems arising in knowledge representation. When a new information is added to a knowledge base, inconsistency can result In this paper, we describe a revision method for use in prepositional calculus. First, some properties of minimal inconsistent subsets are recalled, then the revision method is described. It involves the computation of the intersection of minimal inconsistent subsets. Some results are presented from which an algorithm is deduced. Finally an implementation using Semantic Evaluation as resolution method, is proposed.

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average