Order matters! Harnessing a world of orderings for reasoning over massive data

Authors:
Emanuele Della Valle;Stefan Schlobach;Markus Krötzsch;Alessandro Bozzon;Stefano Ceri;Ian Horrocks
Affiliations:
DEI, Politecnico di Milano, Milan, Italy;Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Univerity of Oxford, Oxford, UK;DEI, Politecnico di Milano, Milan, Italy;DEI, Politecnico di Milano, Milan, Italy;Univerity of Oxford, Oxford, UK
Venue:
Semantic Web
Year:
2013

Citing 57
Cited 0

Principles of concurrent and distributed programming

Principles of concurrent and distributed programming
Knowledge compilation and theory approximation

Journal of the ACM (JACM)
Combining fuzzy information from multiple systems (extended abstract)

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the logic of iterated belief revision

Artificial Intelligence
Materialized views: techniques, implementations, and applications

Materialized views: techniques, implementations, and applications
Computing on data streams

External memory algorithms
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Reductions in streaming algorithms, with an application to counting triangles in graphs

SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Minimal probing: supporting expensive predicates for top-k queries

Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Access path selection in a relational database management system

SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Exploiting Punctuation Semantics in Continuous Data Streams

IEEE Transactions on Knowledge and Data Engineering
Counting triangles in data streams

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Continuous monitoring of top-k queries over sliding windows

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Data Stream Management: Processing High-Speed Data Streams (Data-Centric Systems and Applications)

Data Stream Management: Processing High-Speed Data Streams (Data-Centric Systems and Applications)
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Supporting top-K join queries in relational databases

VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
MapReduce: simplified data processing on large clusters

Communications of the ACM - 50th anniversary issue: 1958 - 2008
Pig latin: a not-so-foreign language for data processing

Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A survey of top-k query processing techniques in relational database systems

ACM Computing Surveys (CSUR)
Parallel Inferencing for OWL Knowledge Bases

ICPP '08 Proceedings of the 2008 37th International Conference on Parallel Processing
Semantic Sensor Web

IEEE Internet Computing
Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
What Is Approximate Reasoning?

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Modular Equivalence for Normal Logic Programs

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Approximating OWL-DL ontologies

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Extending decidable cases for rules with existential variables

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Consequence-driven reasoning for horn SHIQ ontologies

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Conjunctive query answering in the description logic EL using a relational database system

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
It's a Streaming World! Reasoning upon Rapidly Changing Information

IEEE Intelligent Systems
Hive: a warehousing solution over a map-reduce framework

Proceedings of the VLDB Endowment
Distributed Resolution for Expressive Ontology Networks

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Efficient Query Answering for OWL 2

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Scalable Distributed Reasoning Using MapReduce

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Mind the data skew: distributed inferencing by speeddating in elastic regions

Proceedings of the 19th international conference on World wide web
Parallelizing tableaux-based description logic reasoning

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Querying RDF streams with C-SPARQL

ACM SIGMOD Record
Parallel TBox Classification in Description Logics --First Experimental Results

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Deductive and Inductive Stream Reasoning for Semantic Social Media Analytics

IEEE Intelligent Systems
Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
SAOR: template rule optimisations for distributed reasoning over 1 billion linked data triples

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
AnQL: SPARQLing up annotated RDFS

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
EP-SPARQL: a unified language for event processing and stream reasoning

Proceedings of the 20th international conference on World wide web
An incremental answer set programming based system for finite model computation

AI Communications - Answer Set Programming
On rules with existential variables: Walking the decidability line

Artificial Intelligence
Ontological queries: Rewriting and optimization

ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Answer set programming for stream reasoning

Canadian AI'11 Proceedings of the 24th Canadian conference on Advances in artificial intelligence
Concurrent classification of EL ontologies

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Approximating description logic classification for semantic web reasoning

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Incremental reasoning on streams and rich background knowledge

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
OWL reasoning with WebPIE: calculating the closure of 100 billion triples

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Consequence-based reasoning beyond horn ontologies

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Efficient execution of top-k SPARQL queries

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

More and more applications require real-time processing of massive, dynamically generated, ordered data; order is an essential factor as it reflects recency or relevance. Semantic technologies risk being unable to meet the needs of such applications, as they are not equipped with the appropriate instruments for answering queries over massive, highly dynamic, ordered data sets. In this vision paper, we argue that some data management techniques should be exported to the context of semantic technologies, by integrating ordering with reasoning, and by using methods which are inspired by stream and rank-aware data management. We systematically explore the problem space, and point both to problems which have been successfully approached and to problems which still need fundamental research, in an attempt to stimulate and guide a paradigm shift in semantic technologies.