Small Datalog Query Rewritings for EL

Small Datalog Query Rewritings for EL

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Stefanoni, G, Motik, B, Horrocks, I
Ձևաչափ:	Conference item
Հրապարակվել է:	2012

Նմանատիպ նյութեր

Computing Datalog Rewritings Beyond Horn Ontologies
‌: Grau, B, և այլն
Հրապարակվել է: (2013)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
‌: Motik, B, և այլն
Հրապարակվել է: (2015)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
‌: Lukasiewicz, T, և այլն
Հրապարակվել է: (2012)

Datalog rewriting for Guarded TGDs
‌: Benedikt, M, և այլն
Հրապարակվել է: (2022)

Datalog Rewritings of Regular Path Queries using Views
‌: Nadime Francis, և այլն
Հրապարակվել է: (2015-12-01)

Limit Datalog: A declarative query language for data analysis
‌: Grau, BC, և այլն
Հրապարակվել է: (2020)

Rewriting Conjunctive Queries under Description Logic Constraints
‌: Pérez−Urbina, H, և այլն
Հրապարակվել է: (2008)

A Comparison of Query Rewriting Techniques for DL−Lite
‌: Pérez−Urbina, H, և այլն
Հրապարակվել է: (2009)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases
‌: Pérez−Urbina, H, և այլն
Հրապարակվել է: (2008)

Rewriting Conjunctive Queries over Description Logic Knowledge Bases.
‌: Pérez-Urbina, H, և այլն
Հրապարակվել է: (2008)

Tractable query answering and rewriting under description logic constraints.
‌: Pérez-Urbina, H, և այլն
Հրապարակվել է: (2010)

Tractable Query Answering and Rewriting under Description Logic Constraints
‌: Pérez−Urbina, H, և այլն
Հրապարակվել է: (2009)

Introducing Nominals to the Combined Query Answering Approaches for EL
‌: Stefanoni, G, և այլն
Հրապարակվել է: (2013)

Introducing Nominals to the Combined Query Answering Approaches for EL
‌: Stefanoni, G, և այլն
Հրապարակվել է: (2013)

Rewriting Conjunctive Queries under Description Logic Constraints (Technical Report)
‌: Pérez−Urbina, H, և այլն
Հրապարակվել է: (2008)

Modular materialisation of datalog programs
‌: Hu, P, և այլն
Հրապարակվել է: (2019)

Optimised maintenance of datalog materialisations
‌: Hu, P, և այլն
Հրապարակվել է: (2018)

Optimised maintenance of datalog materialisations
‌: Hu, P, և այլն
Հրապարակվել է: (2018)

Modular materialisation of Datalog programs
‌: Hu, P, և այլն
Հրապարակվել է: (2022)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
‌: Cuenca Grau, B, և այլն
Հրապարակվել է: (2016)

Streaming partitioning of RDF graphs for datalog reasoning
‌: Ajileye, T, և այլն
Հրապարակվել է: (2021)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Maintenance of datalog materialisations revisited
‌: Motik, B, և այլն
Հրապարակվել է: (2019)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Datalog materialisation in distributed RDF stores with dynamic data exchange
‌: Ajileye, T, և այլն
Հրապարակվել է: (2019)

Stream reasoning in temporal datalog
‌: Ronca, A, և այլն
Հրապարակվել է: (2018)

The complexity and expressive power of limit Datalog
‌: Kaminski, M, և այլն
Հրապարակվել է: (2021)

Stratified negation in limit datalog programs
‌: Kaminski, M, և այլն
Հրապարակվել է: (2018)

Datalog rewriting techniques for non-Horn ontologies
‌: Kaminski, M, և այլն
Հրապարակվել է: (2014)

Incremental update of datalog materialisation : the backward/forward algorithm
‌: Motik, B, և այլն
Հրապարակվել է: (2015)

Incremental update of datalog materialisation: the backward/forward algorithm
‌: Motik, B, և այլն
Հրապարակվել է: (2015)

Datalog reasoning over compressed RDF knowledge bases
‌: Hu, P, և այլն
Հրապարակվել է: (2019)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
‌: Kaminski, M, և այլն
Հրապարակվել է: (2013)

Pay−as−you−go ontology query answering using a datalog reasoner
‌: Zhou, Y, և այլն
Հրապարակվել է: (2014)

On the Complexity of Single−Rule Datalog Queries
‌: Gottlob, G, և այլն
Հրապարակվել է: (1999)

On the complexity of single−rule datalog queries
‌: Gottlob, G, և այլն
Հրապարակվել է: (2003)

Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles
‌: Stefanoni, G, և այլն
Հրապարակվել է: (2015)