dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
C-SPARQL: SPARQL for continuous querying
Proceedings of the 18th international conference on World wide web
A First Step Towards Stream Reasoning
Future Internet --- FIS 2008
It's a Streaming World! Reasoning upon Rapidly Changing Information
IEEE Intelligent Systems
A Logical Approach to Home Healthcare with Intelligent Sensor-Network Support
The Computer Journal
Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics
IEEE Intelligent Systems
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
Web Semantics: Science, Services and Agents on the World Wide Web
StreamRule: a nonmonotonic stream reasoning system for the semantic web
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |
This paper explores Answer Set Programming (ASP) for stream reasoning with data retrieved continuously from sensors. We describe a proof-of-concept with an example of using declarative models to recognize car on-road situations.