Small Datalog Query Rewritings for EL

Small Datalog Query Rewritings for EL

Chi tiết về thư mục
Những tác giả chính:	Stefanoni, G, Motik, B, Horrocks, I
Định dạng:	Conference item
Được phát hành:	2012

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

Computing Datalog Rewritings Beyond Horn Ontologies
Bằng: Grau, B, et al.
Được phát hành: (2013)

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

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

Datalog rewriting for Guarded TGDs
Bằng: Benedikt, M, et al.
Được phát hành: (2022)

Datalog Rewritings of Regular Path Queries using Views
Bằng: Nadime Francis, et al.
Được phát hành: (2015-12-01)

Limit Datalog: A declarative query language for data analysis
Bằng: Grau, BC, et al.
Được phát hành: (2020)

Rewriting Conjunctive Queries under Description Logic Constraints
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2008)

A Comparison of Query Rewriting Techniques for DL−Lite
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
Bằng: Pérez-Urbina, H, et al.
Được phát hành: (2008)

Tractable query answering and rewriting under description logic constraints.
Bằng: Pérez-Urbina, H, et al.
Được phát hành: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2013)

Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)
Bằng: Pérez−Urbina, H, et al.
Được phát hành: (2008)

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

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)

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

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

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

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

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

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, 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)

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

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

Stream reasoning in temporal datalog
Bằng: Ronca, A, et al.
Được phát hành: (2018)

The complexity and expressive power of limit Datalog
Bằng: Kaminski, M, et al.
Được phát hành: (2021)

Stratified negation in limit datalog programs
Bằng: Kaminski, M, 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)

Incremental update of datalog materialisation : the backward/forward algorithm
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 reasoning over compressed RDF knowledge bases
Bằng: Hu, P, et al.
Được phát hành: (2019)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
Bằng: Kaminski, M, et al.
Được phát hành: (2013)

Pay−as−you−go ontology query answering using a datalog reasoner
Bằng: Zhou, Y, et al.
Được phát hành: (2014)

On the Complexity of Single−Rule Datalog Queries
Bằng: Gottlob, G, et al.
Được phát hành: (1999)

On the complexity of single−rule datalog queries
Bằng: Gottlob, G, et al.
Được phát hành: (2003)

Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles
Bằng: Stefanoni, G, et al.
Được phát hành: (2015)