Logic programming and databases
Logic programming and databases
Handbook of theoretical computer science (vol. B)
On the logic of iterated belief revision
Artificial Intelligence
Symbolic Finite Differencing - Part I
ESOP '90 Proceedings of the 3rd European Symposium on Programming
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Issues in data stream management
ACM SIGMOD Record
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Step-logic: reasoning situated in time
Step-logic: reasoning situated in time
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Propositional Dynamic Logic as a Logic of Belief Revision
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
History matters: incremental ontology reasoning using modules
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Hi-index | 0.00 |
Data streams occur widely in various real world applications. The research on streaming data mainly focuses on the data management, query evaluation and optimization on these data, however the work on reasoning procedures for streaming knowledge bases on both the assertional and terminological levels is very limited. Typically reasoning services on large knowledge bases are very expensive, and need to be applied continuously when the data is received as a stream. Hence new techniques for optimizing this continuous process is needed for developing efficient reasoners on streaming data. In this paper, we survey the related research on reasoning that can be applied to this setting, summarize existing approaches according to a set of parameters, and point to further research directions in this area.