-
Chapter and Conference Paper
LARS: A Logic-Based Framework for Analytic Reasoning over Streams
Stream reasoning considers continuously deriving conclusions on streaming data. While traditional stream processing approaches focus on throughput and are often based on operational grounds, reasoning approach...
-
Chapter and Conference Paper
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Content-Centric Networking (CCN) research addresses the mismatch between the modern usage of the Internet and its outdated architecture. Importantly, CCN routers use various caching strategies to locally cache co...
-
Chapter and Conference Paper
A Query Model to Capture Event Pattern Matching in RDF Stream Processing Query Languages
The current state of the art in RDF Stream Processing (RSP) proposes several models and implementations to combine Semantic Web technologies with Data Stream Management System (DSMS) operators like windows. Me...
-
Chapter and Conference Paper
First-Order Encodings for Modular Nonmonotonic Datalog Programs
Recently Modular Nonmonotonic Logic Programs (MLP) have been introduced which incorporate a call-by-value mechanism and allow for unrestricted calls between modules, including mutual and self recursion, as an ...
-
Chapter and Conference Paper
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
The DMCS system is an implementation of the equilibrium semantics for heterogeneous and nonmonotonic multi-context systems (MCS) [3], which feature contexts with heterogeneous and possibly nonmonotonic logics. Ea...
-
Chapter and Conference Paper
Decomposition of Distributed Nonmonotonic Multi-Context Systems
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, a fully distributed algorithm for evaluating heterogeneous, nonmo...