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,...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Motik, B, Nenov, Y, Piro, R, Horrocks, I, Olteanu, D
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Association for the Advancement of Artificial intelligence 2014
Ábhair:	Artificial Intelligence Databases Knowledge Representation and Reasoning Computer Science

Míreanna comhchosúla

Incremental update of datalog materialisation : the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Parallel OWL 2 RL materialisation in centralised‚ main−memory RDF systems
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Maintenance of datalog materialisations revisited
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2019)

Datalog materialisation in distributed RDF stores with dynamic data exchange
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2019)

Handling owl:sameAs via rewriting
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Modular materialisation of datalog programs
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2019)

Modular materialisation of Datalog programs
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2022)

Optimised maintenance of datalog materialisations
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2018)

Optimised maintenance of datalog materialisations
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2018)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Materialisation and data partitioning algorithms for distributed RDF systems
de réir: Ajileye, T
Foilsithe / Cruthaithe: (2021)

Streaming partitioning of RDF graphs for datalog reasoning
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2021)

Effective partitioning of RDF data for distributed query answering
de réir: Banda, F
Foilsithe / Cruthaithe: (2021)

Datalog reasoning over compressed RDF knowledge bases
de réir: Hu, P, et al.
Foilsithe / Cruthaithe: (2019)

Materialisation and data partitioning algorithms for distributed RDF systems
de réir: Ajileye, T, et al.
Foilsithe / Cruthaithe: (2022)

Efficient computation and maintenance of datalog materialisations
de réir: Hu, P
Foilsithe / Cruthaithe: (2019)

RDFox: a highly-scalable RDF store
de réir: Nenov, Y, et al.
Foilsithe / Cruthaithe: (2015)

Finitely materialisable Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2021)

Finite materialisability of Datalog programs with metric temporal operators
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

RDFLog: It's like Datalog for RDF
de réir: Bry, F, et al.
Foilsithe / Cruthaithe: (2008)

RDFLog: It's like Datalog for RDF
de réir: Bry, F, et al.
Foilsithe / Cruthaithe: (2008)

Dynamic data exchange in distributed RDF stores
de réir: Potter, A, et al.
Foilsithe / Cruthaithe: (2018)

Materialisation-based reasoning in DatalogMTL with bounded intervals
de réir: Wałęga, PA, et al.
Foilsithe / Cruthaithe: (2023)

Distributed RDF query answering with dynamic data exchange
de réir: Potter, A, et al.
Foilsithe / Cruthaithe: (2016)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2014)

Optimised storage for datalog reasoning
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2024)

Small Datalog Query Rewritings for EL
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2012)

Enhancing datalog reasoning with hypertree decompositions
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2023)

Consequence-based reasoning for the Description Logic SROIQ
de réir: Tena Cucala, DJ
Foilsithe / Cruthaithe: (2019)

Stratified negation in limit datalog programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2018)

A Graph DB-Based Solution for Semantic Technologies in the Future Internet
de réir: Stefano Ferilli, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Stream reasoning in temporal datalog
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
de réir: Elena Mastria, et al.
Foilsithe / Cruthaithe: (2023-07-01)