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

Research output: Contribution to journalReview article

Abstract

As more and more data is being generated by sensor networks, social media and organizations, the Web interlinking this wealth of information becomes more complex. This is particularly true for the so-called Web of Data, in which data is semantically enriched and interlinked using ontologies. In this large and uncoordinated environment, reasoning can be used to check the consistency of the data and of associated ontologies, or to infer logical consequences which, in turn, can be used to obtain new insights from the data. However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data. To address this problem, several high-performance reasoning systems, which mainly implement distributed or parallel algorithms, have been proposed in the last few years. These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives. In order to provide a first complete overview of the field, this paper reports a systematic review of such scalable reasoning approaches over various ontological languages, reporting details about the methods and over the conducted experiments. We highlight the shortcomings of these approaches and discuss some of the open problems related to performing scalable reasoning.

Original languageEnglish
Article numbere21
Pages (from-to)1-43
Number of pages43
JournalKnowledge Engineering Review
Volume33
DOIs
Publication statusPublished - 31 Oct 2018

Fingerprint

Parallel algorithms
Ontology
Sensor networks
Computer systems
Experiments

Cite this

Antoniou, Grigoris ; Batsakis, Sotirios ; Mutharaju, Raghava ; Pan, Jeff Z. ; Qi, Guilin ; Tachmazidis, Ilias ; Urbani, Jacopo ; Zhou, Zhangquan. / A Survey of Large-Scale Reasoning on the Web of Data. In: Knowledge Engineering Review. 2018 ; Vol. 33. pp. 1-43.
@article{3664bff8871745e18a488871350efec0,
title = "A Survey of Large-Scale Reasoning on the Web of Data",
abstract = "As more and more data is being generated by sensor networks, social media and organizations, the Web interlinking this wealth of information becomes more complex. This is particularly true for the so-called Web of Data, in which data is semantically enriched and interlinked using ontologies. In this large and uncoordinated environment, reasoning can be used to check the consistency of the data and of associated ontologies, or to infer logical consequences which, in turn, can be used to obtain new insights from the data. However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data. To address this problem, several high-performance reasoning systems, which mainly implement distributed or parallel algorithms, have been proposed in the last few years. These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives. In order to provide a first complete overview of the field, this paper reports a systematic review of such scalable reasoning approaches over various ontological languages, reporting details about the methods and over the conducted experiments. We highlight the shortcomings of these approaches and discuss some of the open problems related to performing scalable reasoning.",
keywords = "Large-scale reasoning, Parallel reasoning, Distributed reasoning, Web of data, Semantic Web",
author = "Grigoris Antoniou and Sotirios Batsakis and Raghava Mutharaju and Pan, {Jeff Z.} and Guilin Qi and Ilias Tachmazidis and Jacopo Urbani and Zhangquan Zhou",
year = "2018",
month = "10",
day = "31",
doi = "10.1017/S0269888918000255",
language = "English",
volume = "33",
pages = "1--43",
journal = "Knowledge Engineering Review",
issn = "0269-8889",
publisher = "Cambridge University Press",

}

A Survey of Large-Scale Reasoning on the Web of Data. / Antoniou, Grigoris; Batsakis, Sotirios; Mutharaju, Raghava; Pan, Jeff Z.; Qi, Guilin; Tachmazidis, Ilias; Urbani, Jacopo; Zhou, Zhangquan.

In: Knowledge Engineering Review, Vol. 33, e21, 31.10.2018, p. 1-43.

Research output: Contribution to journalReview article

TY - JOUR

T1 - A Survey of Large-Scale Reasoning on the Web of Data

AU - Antoniou, Grigoris

AU - Batsakis, Sotirios

AU - Mutharaju, Raghava

AU - Pan, Jeff Z.

AU - Qi, Guilin

AU - Tachmazidis, Ilias

AU - Urbani, Jacopo

AU - Zhou, Zhangquan

PY - 2018/10/31

Y1 - 2018/10/31

N2 - As more and more data is being generated by sensor networks, social media and organizations, the Web interlinking this wealth of information becomes more complex. This is particularly true for the so-called Web of Data, in which data is semantically enriched and interlinked using ontologies. In this large and uncoordinated environment, reasoning can be used to check the consistency of the data and of associated ontologies, or to infer logical consequences which, in turn, can be used to obtain new insights from the data. However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data. To address this problem, several high-performance reasoning systems, which mainly implement distributed or parallel algorithms, have been proposed in the last few years. These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives. In order to provide a first complete overview of the field, this paper reports a systematic review of such scalable reasoning approaches over various ontological languages, reporting details about the methods and over the conducted experiments. We highlight the shortcomings of these approaches and discuss some of the open problems related to performing scalable reasoning.

AB - As more and more data is being generated by sensor networks, social media and organizations, the Web interlinking this wealth of information becomes more complex. This is particularly true for the so-called Web of Data, in which data is semantically enriched and interlinked using ontologies. In this large and uncoordinated environment, reasoning can be used to check the consistency of the data and of associated ontologies, or to infer logical consequences which, in turn, can be used to obtain new insights from the data. However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data. To address this problem, several high-performance reasoning systems, which mainly implement distributed or parallel algorithms, have been proposed in the last few years. These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives. In order to provide a first complete overview of the field, this paper reports a systematic review of such scalable reasoning approaches over various ontological languages, reporting details about the methods and over the conducted experiments. We highlight the shortcomings of these approaches and discuss some of the open problems related to performing scalable reasoning.

KW - Large-scale reasoning

KW - Parallel reasoning

KW - Distributed reasoning

KW - Web of data

KW - Semantic Web

U2 - 10.1017/S0269888918000255

DO - 10.1017/S0269888918000255

M3 - Review article

VL - 33

SP - 1

EP - 43

JO - Knowledge Engineering Review

JF - Knowledge Engineering Review

SN - 0269-8889

M1 - e21

ER -