Open AccessJournal Article
A MapReduce Algorithm for EL
TL;DR: This paper provides a MapReduce algorithm for the description logic EL +, more precisely for the classification of EL + ontologies along the same key ideas as used for RDF schema.
read more
Abstract: Recently, the use of the MapReduce framework for distribu- ted RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion RDF triples within a reason- able time span (22), and that it is also possible to carry the approach over to OWL Horst (21). Following this lead, in this paper we provide a MapReduce algorithm for the description logic EL + , more precisely for the classification of EL + ontologies. To do this, we first modify the algorithm usually used for EL + classification. The modified algorithm can then be converted into a MapReduce algorithm along the same key ideas as used for RDF schema.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
WebPIE: A Web-scale Parallel Inference Engine using MapReduce
TL;DR: This article proposes a distributed technique to perform materialization under the RDFS and OWL ter Horst semantics using the MapReduce programming model and shows that it scales linearly and vastly outperforms current systems in terms of maximum data size and inference speed.
197
QueryPIE: backward reasoning for OWL horst over very large knowledge bases
Jacopo Urbani,Frank van Harmelen,Stefan Schlobach,Henri E. Bal +3 more
- 23 Oct 2011
TL;DR: This work presents an hybrid algorithm to perform efficient backward-chaining reasoning on very large datasets expressed in the OWL Horst (pD*) fragment, and implements a prototype called QueryPIE (Query Parallel Inference Engine), which is the first reported backward- chaining reasoner for OWLHorst that efficiently scales to a billion triples.
From Polynomial Procedures to Efficient Reasoning with EL Ontologies
Yevgeny Kazakov
- 01 Jan 2013
TL;DR: This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems forEL ontologies available today.
66
A survey of large-scale reasoning on the Web of data
Grigoris Antoniou,Sotirios Batsakis,Raghava Mutharaju,Jeff Z. Pan,Guilin Qi,Ilias Tachmazidis,Jacopo Urbani,Zhangquan Zhou +7 more
TL;DR: A systematic review of high-performance scalable reasoning approaches over various ontological languages, reporting details about the methods and over the conducted experiments to provide a first complete overview of the field.
•Journal Article
A Parallel Reasoner for the Description Logic ALC.
Kejia Wu,Volker Haarslev +1 more
TL;DR: A first empirical evaluation for TBox classification demonstrates that Deslog’s architecture supports a speedup factor that is linear to the number of utilized processors/cores.
References
MapReduce: simplified data processing on large clusters
Jeffrey Dean,Sanjay Ghemawat +1 more
- 06 Dec 2004
TL;DR: This paper presents the implementation of MapReduce, a programming model and an associated implementation for processing and generating large data sets that runs on a large cluster of commodity machines and is highly scalable.
MapReduce: simplified data processing on large clusters
Jeffrey Dean,Sanjay Ghemawat +1 more
TL;DR: This presentation explains how the underlying runtime system automatically parallelizes the computation across large-scale clusters of machines, handles machine failures, and schedules inter-machine communication to make efficient use of the network and disks.
Linked Data - the story so far
TL;DR: The authors describe progress to date in publishing Linked Data on the Web, review applications that have been developed to exploit the Web of Data, and map out a research agenda for the Linked data community as it moves forward.
OWL 2 Web Ontology Language Primer (Second Edition)
Pascal Hitzler,Markus Krötzsch,Bijan Parsia,Peter F. Patel-Schneider,Sebastian Rudolph +4 more
- 01 Jan 2012
TL;DR: The OWL 2 Document Overview describes the overall state of OWL 1, and should be read before other OWL2 documents.
OWL 2 Web Ontology Language
Manchester Syntax,Matthew Horridge,Peter F. Patel-Schneider +2 more
- 01 Jan 2009
TL;DR: TheManchester Syntax is used in the OWL 2 Primer, and this document provides the language used there; it is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language.