Towards Scalable Non-monotonic
Stream Reasoning via
Input Dependency Analysis
Thu-Le Pham1, Alessandra Mileo2, Muhammad Intizar Ali1
1. INSIGHT, National University of Ireland, Galway
2. INSIGHT, Dublin City University
{thule.pham, alessandra.mileo, ali.intizar}@insight-centre.org
DESWeb@ICDE 2017
02/05/2017
Outline
Introduction
02/05/2017
Target
Approach
INSIGHT
To be
continued...
2
Introduction
Stream reasoning
02/05/2017
INSIGHT
3
Introduction
Non-monotonic Reasoning
ETALIS/
EP-SPAQRL
StreamRule
reprinted from http://streamreasoning.org/events/sr4ld2015
02/05/2017
INSIGHT
4
Introduction
Target
How far can we go?
ASP-based
Stream Reasoning
02/05/2017
INSIGHT
5
Introduction
Target
Approach
data
streams
window
solutions
Reasoner
Rules
Partitioning
• random
 dependency analysis
02/05/2017
INSIGHT
6
Introduction
Target
Approach
very_slow_speed(X)
:average_speed(X,Y), Y < 20.
many_cars(X) :- car_number(X,Y), Y >
40.
traffic_jam(X) :- very_slow_speed(X),
many_cars(X), not traffic_light(X).
car_fire(X) :- car_in_smoke(C,high),
car_speed(C,0), car_location(C,X).
.......
Duplication
Rules
Extended Dependency Graph
Input Dependency graph
02/05/2017
INSIGHT
7
Introduction
Rules
Target
Approach
(r1) very_slow_speed(X) :- average_speed(X,Y), Y < 20.
(r2) many_cars(X) :- car_number(X,Y), Y > 40.
(r3) traffic_jam(X) :- very_slow_speed(X), many_cars(X), not traffic_light(X).
....
average_speed
Extended
Dependency Graph
very_slow_speed
car_number
traffic_light
many_cars
traffic_jam
02/05/2017
INSIGHT
8
Introduction
Target
Approach
very_slow_speed(X)
:average_speed(X,Y), Y < 20.
many_cars(X) :- car_number(X,Y), Y >
40.
traffic_jam(X) :- very_slow_speed(X),
many_cars(X), not traffic_light(X).
car_fire(X) :- car_in_smoke(C,high),
car_speed(C,0), car_location(C,X).
.......
Duplication
Rules
Extended Dependency Graph
Input Dependency graph
02/05/2017
INSIGHT
9
Introduction
02/05/2017
Target
Approach
INSIGHT
10
Introduction
Target
Approach
P (No duplication)
02/05/2017
P’ (Duplication)
INSIGHT
11
Introduction
Target
Approach
P (No Duplication)
02/05/2017
P’ (Duplication)
INSIGHT
12
Introduction
Target
Approach
To be
continued...
 Conclusion




(Extended/Input) Dependency Graph
Duplication process
Extended StreamRule
working cases / not-working cases?
 what’s next?
 benchmark
 proof
02/05/2017
INSIGHT
13