In the last few years a new research area, called stream reasoning, emerged to bridge the
gap between reasoning and stream processing. While current reasoning approaches are …

Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

In this paper, we discuss the architecture and implementation of the Semantic Web Search
Engine (SWSE). Following traditional search engine architecture, SWSE consists of …

The large amount of Semantic Web data and its fast growth pose a significant computational
challenge in performing efficient and scalable reasoning. On a large scale, the resources of …

In previous work we have shown that the MapReduce framework for distributed computation
can be deployed for highly scalable inference over RDF graphs under the RDF Schema …

We describe an optimised consequence-based procedure for classification of ontologies
expressed in a polynomial fragment ELH_R^+ of the OWL 2 EL profile. A distinguishing …

This chapter gives an extended introduction to the lightweight profiles OWL EL, OWL QL,
and OWL RL of the Web Ontology Language OWL. The three ontology language standards …

Traditional parallel algorithms for mining frequent itemsets aim to balance load by equally
partitioning data among a group of computing nodes. We start this study by discovering a …

Cloud computing is a model that points at streamlining the on-demand provisioning of
software, hardware and data as services and providing end-users with flexible and scalable …

In this paper, we leverage annotated logic programs for tracking indicators of provenance
and trust during reasoning, specifically focussing on the use-case of applying a scalable …