![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessStream Reasoning with LARS
Stream reasoning is the task of continuously deriving conclusions on streaming data. Different research communities emphasize different aspects such as throughput vs. expressiveness, yet a mathematical model t...
-
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
A Benchmarking Framework for Stream Processors
Stream Processing/Reasoning, an active research topic [5], has been picked up by different communities which developed a diversity of stream processors/reasoners. This however makes empirical evaluation and compa...
-
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
Contrasting RDF Stream Processing Semantics
The increasing popularity of RDF Stream Processing (RSP) has led to developments of data models and processing engines which diverge in several aspects, ranging from the representation of RDF streams to semant...
-
Chapter and Conference Paper
The Fourth Answer Set Programming Competition: Preliminary Report
Answer Set Programming is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, PDDL and many ot...
-
Chapter and Conference Paper
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
We present a new solver for Answer-Set Programs whose main features include grounding on-the-fly and readiness for use in solving distributed answer-set programs. The solver is implemented in Java and uses an ...
-
Chapter and Conference Paper
Linked Stream Data Processing Engines: Facts and Figures
Linked Stream Data, i.e., the RDF data model extended for representing stream data generated from sensors social network applications, is gaining popularity. This has motivated considerable work on develo** ...
-
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...
-
Chapter and Conference Paper
Realizing Default Logic over Description Logic Knowledge Bases
We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default theories to conjunctive query (cq-)pro...
-
Chapter and Conference Paper
Combining Nonmonotonic Knowledge Bases with External Sources
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative knowledge representation forma...
-
Chapter and Conference Paper
Modular Nonmonotonic Logic Programming Revisited
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, we focus on modular nonmonoto...
-
Chapter and Conference Paper
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowi...