Downloads provided by UsageCounts
handle: 2117/97304
In this paper we propose a new method for updating knowledge bases while maintaining their consistency. Our method can be used for integrity constraints maintenance, view updating, and their combination. It can also be combined with any integrity checking method for view updating and integrity checking. The kind of updates handled by our method are: updates of base facts, view updates, updates of deductive rules and updates of integrity constraints. Our method is based on events and transition rules, which explicitly define the insertions and deletions induced by a knowledge base update. Using these rules, an extension of the SLDNF procedure allows us to obtain all possible minimal ways of updating a knowledge base without violating any integrity constraint.
SLDNF procedure, Knowledge base update, Integrity constraints maintenance, Consistency, Àrees temàtiques de la UPC::Informàtica::Programació, :Informàtica::Programació [Àrees temàtiques de la UPC]
SLDNF procedure, Knowledge base update, Integrity constraints maintenance, Consistency, Àrees temàtiques de la UPC::Informàtica::Programació, :Informàtica::Programació [Àrees temàtiques de la UPC]
| 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). | 0 | |
| 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 |
| views | 39 | |
| downloads | 89 |

Views provided by UsageCounts
Downloads provided by UsageCounts