Towards scalable non-monotonic stream reasoning via input dependency analysis
Pham, Thu-Le, Mileo, AlessandraORCID: 0000-0002-6614-6462 and Ali, Muhammad IntizarORCID: 0000-0002-0674-2131
(2017)
Towards scalable non-monotonic stream reasoning via input dependency analysis.
In: 8th International Workshop on Data Engineering meets the Semantic Web (DESWeb), 19-22 Apr 2017, San Diego, USA.
Stream reasoning is an emerging research area focused on providing continuous reasoning solutions for data streams. The high expressiveness of non-monotonic reasoning enables complex decision making by managing defaults, common-sense, preferences, recursion, and non-determinism, but it is computationally intensive. The exponential growth in the availability of streaming data on the Web has seriously hindered the applicability of state-of-the-art non-monotonic reasoners to be applied to streaming information in a scalable way.
In this paper, we address the issue of scalability for non-monotonic stream reasoning based on Answer Set Programming (ASP), by analyzing input dependency. We introduce an input dependency graph to represent the relationships between input events based on the structure of a given logical rule set. The input dependency graph allows us to dynamically configure the streaming window size in order to maximise the scalability of the non-monotonic reasoner. We conduct an experimental evaluation to demonstrate the effectiveness and ability of our proposed approach in improving the scalability of disjunctive logic programming with ASP in dynamic environments.
Metadata
Item Type:
Conference or Workshop Item (Paper)
Event Type:
Workshop
Refereed:
Yes
Additional Information:
Part of the 2017 IEEE 33rd International Conference on Data Engineering (ICDE)