Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
C-SPARQL: SPARQL for continuous querying
Proceedings of the 18th international conference on World wide web
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Streaming SPARQL extending SPARQL to process data streams
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Reasoning with multi-version ontologies: a temporal logic approach
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Incrementally maintaining materializations of ontologies stored in logic databases
Journal on Data Semantics II
Incremental reasoning on streams and rich background knowledge
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Applying semantic web technologies for diagnosing road traffic congestions
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Predicting knowledge in an ontology stream
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
So far researchers in the Description Logics / Ontology communities mainly consider ontology reasoning services for static ontologies. The rapid development of the Semantic Web and its emerging data ask for reasoning technologies for dynamic knowledge streams. Existing work on stream reasoning is focused on lightweight languages such as RDF and RDFS. In this paper, we introduce the notion of Ontology Stream Management System (OSMS) and present a stream-reasoning approach based on Truth Maintenance System (TMS). We present optimised EL++ algorithm to reduce memory consumption. Our evaluations show that the optimisation improves TMS-enabled EL++ reasoning to deal with relatively large volumes of data and update efficiently.