Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Artificial Intelligence
New Generation Computing
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the relation between the coherence and foundations theories of belief revision
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
On the complexity analysis of static analyses
Journal of the ACM (JACM)
Incremental Maintenance of Externally Materialized Views
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Truth Maintenance Systems for Problem Solving
Truth Maintenance Systems for Problem Solving
The frame problem and related problems in artificial intelligence
The frame problem and related problems in artificial intelligence
IEEE Software
KiWi --- A Platform for Semantic Social Software (Demonstration)
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
The ins and outs of reason maintenance
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Encyclopedia of Database Systems
Encyclopedia of Database Systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Incrementally maintaining materializations of ontologies stored in logic databases
Journal on Data Semantics II
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
| Hi-index | 0.00 |
We present a novel incremental algorithm to compute changes to materialized views in logic databases like those used by rule-based reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require to generate and evaluate large transformed programs that are in Datalog while the source program is in Datalog and significantly smaller; some recompute the whole extension of a predicate even if only a small part of this extension is affected by the change. The method presented in this article overcomes both drawbacks, arguably at an acceptable price: a slight adaptation of the semi-naïve forward chaining.