Parallel materialisation of datalog programs in centralised, main-memory RDF systems

Parallel materialisation of datalog programs in centralised, main-memory RDF systems

We present a novel approach to parallel materialisation (i.e., fixpoint computation) of datalog programs in centralised, main-memory, multi-core RDF systems. Our approach comprises an algorithm that evenly distributes the workload to cores, and an RDF indexing data structure that supports efficient,...

Bibliografski detalji
Glavni autori:	Motik, B, Nenov, Y, Piro, R, Horrocks, I, Olteanu, D
Format:	Conference item
Jezik:	English
Izdano:	Association for the Advancement of Artificial intelligence 2014
Teme:	Artificial Intelligence Databases Knowledge Representation and Reasoning Computer Science

Slični predmeti

Incremental update of datalog materialisation : the backward/forward algorithm
od: Motik, B, i dr.
Izdano: (2015)

Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
od: Motik, B, i dr.
Izdano: (2014)

Parallel OWL 2 RL materialisation in centralised‚ main−memory RDF systems
od: Motik, B, i dr.
Izdano: (2014)

Maintenance of datalog materialisations revisited
od: Motik, B, i dr.
Izdano: (2019)

Datalog materialisation in distributed RDF stores with dynamic data exchange
od: Ajileye, T, i dr.
Izdano: (2019)

Handling owl:sameAs via rewriting
od: Motik, B, i dr.
Izdano: (2015)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
od: Motik, B, i dr.
Izdano: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
od: Motik, B, i dr.
Izdano: (2015)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
od: Kaminski, M, i dr.
Izdano: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
od: Kaminski, M, i dr.
Izdano: (2014)

Modular materialisation of datalog programs
od: Hu, P, i dr.
Izdano: (2019)

Modular materialisation of Datalog programs
od: Hu, P, i dr.
Izdano: (2022)

Optimised maintenance of datalog materialisations
od: Hu, P, i dr.
Izdano: (2018)

Optimised maintenance of datalog materialisations
od: Hu, P, i dr.
Izdano: (2018)

Datalog rewriting techniques for non-Horn ontologies
od: Kaminski, M, i dr.
Izdano: (2014)

Materialisation and data partitioning algorithms for distributed RDF systems
od: Ajileye, T
Izdano: (2021)

Streaming partitioning of RDF graphs for datalog reasoning
od: Ajileye, T, i dr.
Izdano: (2021)

Effective partitioning of RDF data for distributed query answering
od: Banda, F
Izdano: (2021)

Datalog reasoning over compressed RDF knowledge bases
od: Hu, P, i dr.
Izdano: (2019)

Materialisation and data partitioning algorithms for distributed RDF systems
od: Ajileye, T, i dr.
Izdano: (2022)

Efficient computation and maintenance of datalog materialisations
od: Hu, P
Izdano: (2019)

RDFox: a highly-scalable RDF store
od: Nenov, Y, i dr.
Izdano: (2015)

Finitely materialisable Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2021)

Finite materialisability of Datalog programs with metric temporal operators
od: Wałęga, PA, i dr.
Izdano: (2023)

RDFLog: It's like Datalog for RDF
od: Bry, F, i dr.
Izdano: (2008)

RDFLog: It's like Datalog for RDF
od: Bry, F, i dr.
Izdano: (2008)

Dynamic data exchange in distributed RDF stores
od: Potter, A, i dr.
Izdano: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
od: Wałęga, PA, i dr.
Izdano: (2023)

Distributed RDF query answering with dynamic data exchange
od: Potter, A, i dr.
Izdano: (2016)

The impact of disjunction on reasoning under existential rules
od: Morak, M
Izdano: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
od: Stefanoni, G, i dr.
Izdano: (2014)

Optimised storage for datalog reasoning
od: Zhang, X, i dr.
Izdano: (2024)

Small Datalog Query Rewritings for EL
od: Stefanoni, G, i dr.
Izdano: (2012)

Enhancing datalog reasoning with hypertree decompositions
od: Zhang, X, i dr.
Izdano: (2023)

Consequence-based reasoning for the Description Logic SROIQ
od: Tena Cucala, DJ
Izdano: (2019)

Stratified negation in limit datalog programs
od: Kaminski, M, i dr.
Izdano: (2018)

A Graph DB-Based Solution for Semantic Technologies in the Future Internet
od: Stefano Ferilli, i dr.
Izdano: (2023-10-01)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
od: Cuenca Grau, B, i dr.
Izdano: (2016)

Stream reasoning in temporal datalog
od: Ronca, A, i dr.
Izdano: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
od: Elena Mastria, i dr.
Izdano: (2023-07-01)