C-ASP: Continuous ASP-Based Reasoning over RDF Streams
Edited Conference Meeting Proceeding
The ability to perform complex reasoning over data streams has recently become an important area of research in the Semantic Web community. Most of SPARQL-inspired engines have limitations in capturing sophisticated user requirements and dealing with complex reasoning tasks. To address these challenges, we propose and implement C-ASP, a reasoning system based on the Answer Set Programming (ASP) system Clingo and extended to handle continuous reasoning requests over RDF streams. We provide the syntax of the C-ASP language, as well as a set of examples in order to illustrate its expressive power. In addition, we present preliminary experimental results showing C-ASP performances.
LPNMR 2019 : 15th International Conference on Logic Programming and Non-monotonic Reasoning
Digital Object Identifer (DOI):
United States of America
Dublin City University (DCU)
Open access repository: