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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Motik, B, Nenov, Y, Piro, R, Horrocks, I, Olteanu, D
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	Association for the Advancement of Artificial intelligence 2014
Những chủ đề:	Artificial Intelligence Databases Knowledge Representation and Reasoning Computer Science

Những quyển sách tương tự

Incremental update of datalog materialisation : the backward/forward algorithm
Bằng: Motik, B, et al.
Được phát hành: (2015)

Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
Bằng: Motik, B, et al.
Được phát hành: (2014)

Parallel OWL 2 RL materialisation in centralised‚ main−memory RDF systems
Bằng: Motik, B, et al.
Được phát hành: (2014)

Maintenance of datalog materialisations revisited
Bằng: Motik, B, et al.
Được phát hành: (2019)

Datalog materialisation in distributed RDF stores with dynamic data exchange
Bằng: Ajileye, T, et al.
Được phát hành: (2019)

Handling owl:sameAs via rewriting
Bằng: Motik, B, et al.
Được phát hành: (2015)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
Bằng: Motik, B, et al.
Được phát hành: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
Bằng: Motik, B, et al.
Được phát hành: (2015)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Modular materialisation of datalog programs
Bằng: Hu, P, et al.
Được phát hành: (2019)

Modular materialisation of Datalog programs
Bằng: Hu, P, et al.
Được phát hành: (2022)

Optimised maintenance of datalog materialisations
Bằng: Hu, P, et al.
Được phát hành: (2018)

Optimised maintenance of datalog materialisations
Bằng: Hu, P, et al.
Được phát hành: (2018)

Datalog rewriting techniques for non-Horn ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Materialisation and data partitioning algorithms for distributed RDF systems
Bằng: Ajileye, T
Được phát hành: (2021)

Streaming partitioning of RDF graphs for datalog reasoning
Bằng: Ajileye, T, et al.
Được phát hành: (2021)

Effective partitioning of RDF data for distributed query answering
Bằng: Banda, F
Được phát hành: (2021)

Datalog reasoning over compressed RDF knowledge bases
Bằng: Hu, P, et al.
Được phát hành: (2019)

Materialisation and data partitioning algorithms for distributed RDF systems
Bằng: Ajileye, T, et al.
Được phát hành: (2022)

Efficient computation and maintenance of datalog materialisations
Bằng: Hu, P
Được phát hành: (2019)

RDFox: a highly-scalable RDF store
Bằng: Nenov, Y, et al.
Được phát hành: (2015)

RDFLog: It's like Datalog for RDF
Bằng: Bry, F, et al.
Được phát hành: (2008)

RDFLog: It's like Datalog for RDF
Bằng: Bry, F, et al.
Được phát hành: (2008)

Finitely materialisable Datalog programs with metric temporal operators
Bằng: Wałęga, PA, et al.
Được phát hành: (2021)

Finite materialisability of Datalog programs with metric temporal operators
Bằng: Wałęga, PA, et al.
Được phát hành: (2023)

Dynamic data exchange in distributed RDF stores
Bằng: Potter, A, et al.
Được phát hành: (2018)

Distributed RDF query answering with dynamic data exchange
Bằng: Potter, A, et al.
Được phát hành: (2016)

Materialisation-based reasoning in DatalogMTL with bounded intervals
Bằng: Wałęga, PA, et al.
Được phát hành: (2023)

The impact of disjunction on reasoning under existential rules
Bằng: Morak, M
Được phát hành: (2014)

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases
Bằng: Stefanoni, G, et al.
Được phát hành: (2014)

Optimised storage for datalog reasoning
Bằng: Zhang, X, et al.
Được phát hành: (2024)

Small Datalog Query Rewritings for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2012)

Consequence-based reasoning for the Description Logic SROIQ
Bằng: Tena Cucala, DJ
Được phát hành: (2019)

Enhancing datalog reasoning with hypertree decompositions
Bằng: Zhang, X, et al.
Được phát hành: (2023)

A Graph DB-Based Solution for Semantic Technologies in the Future Internet
Bằng: Stefano Ferilli, et al.
Được phát hành: (2023-10-01)

Stratified negation in limit datalog programs
Bằng: Kaminski, M, et al.
Được phát hành: (2018)

EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring
Bằng: Elena Mastria, et al.
Được phát hành: (2023-07-01)

Artificial Intelligence and Healthcare
Bằng: Harish Rangareddy, et al.
Được phát hành: (2022-11-01)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Bằng: Cuenca Grau, B, et al.
Được phát hành: (2016)