Sufficient Conditions for First−Order and Datalog Rewritability in ELU

Sufficient Conditions for First−Order and Datalog Rewritability in ELU

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Kaminski, M, Grau, B
বিন্যাস:	Conference item
প্রকাশিত:	2013

অনুরূপ উপাদানগুলি

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
অনুযায়ী: Cuenca Grau, B, অন্যান্য
প্রকাশিত: (2016)

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)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Datalog rewriting techniques for non-Horn ontologies
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2014)

Computing Datalog Rewritings Beyond Horn Ontologies
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2013)

Datalog rewriting for Guarded TGDs
অনুযায়ী: Benedikt, M, অন্যান্য
প্রকাশিত: (2022)

Small Datalog Query Rewritings for EL
অনুযায়ী: Stefanoni, G, অন্যান্য
প্রকাশিত: (2012)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
অনুযায়ী: Lukasiewicz, T, অন্যান্য
প্রকাশিত: (2012)

Datalog Rewritings of Regular Path Queries using Views
অনুযায়ী: Nadime Francis, অন্যান্য
প্রকাশিত: (2015-12-01)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
অনুযায়ী: Motik, B, অন্যান্য
প্রকাশিত: (2015)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
অনুযায়ী: Cristina Feier, অন্যান্য
প্রকাশিত: (2019-05-01)

Stream reasoning with DatalogMTL
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2023)

Stream reasoning in temporal datalog
অনুযায়ী: Ronca, A, অন্যান্য
প্রকাশিত: (2018)

DatalogMTL over integer timeline
অনুযায়ী: Walega, PA, অন্যান্য
প্রকাশিত: (2020)

Elu nagu algebra. Alide Erteli elu ja looming
অনুযায়ী: Taimi Grauberg
প্রকাশিত: (2023-09-01)

The complexity and expressive power of limit Datalog
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2021)

Stratified negation in limit datalog programs
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2018)

Reasoning over streaming data in metric temporal datalog
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2019)

DatalogMTL: computational complexity and expressive power
অনুযায়ী: Walega, P, অন্যান্য
প্রকাশিত: (2019)

Tractable fragments of datalog with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2020)

Ontology module extraction via datalog reasoning
অনুযায়ী: Romero, AA, অন্যান্য
প্রকাশিত: (2015)

Complexity and expressive power of disjunction and negation in limit datalog
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2020)

Module extraction in expressive ontology languages via datalog reasoning
অনুযায়ী: Grau, B, অন্যান্য
প্রকাশিত: (2016)

Limit Datalog: A declarative query language for data analysis
অনুযায়ী: Grau, BC, অন্যান্য
প্রকাশিত: (2020)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2017)

The Complexity of Datalog on Linear Orders
অনুযায়ী: Martin Grohe, অন্যান্য
প্রকাশিত: (2009-02-01)

Reasoning techniques in DatalogMTL
অনুযায়ী: Wałega, PA, অন্যান্য
প্রকাশিত: (2022)

Computing horn rewritings of description logics ontologies
অনুযায়ী: Kaminski, M, অন্যান্য
প্রকাশিত: (2015)

Õpetajate elu ja töö uurimine
অনুযায়ী: Ivor F. Goodson
প্রকাশিত: (2014-11-01)

Soomlase elu kujutamine pärimuslikus ajaloos
অনুযায়ী: Pauliina Latvala
প্রকাশিত: (1999-01-01)

Les juifs: peuple élu? Peuple baí? Une condition paradoxale
অনুযায়ী: Evelyne Kinig, অন্যান্য
প্রকাশিত: (1994-12-01)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
অনুযায়ী: Zhou, Y, অন্যান্য
প্রকাশিত: (2015)

Devenir élue. Genre et carrière politique
অনুযায়ী: Savinel Bérengère
প্রকাশিত: (2017-07-01)

Elu Sõna: päästmine, tervenemine ja edukus
অনুযায়ী: Tuija Hovi
প্রকাশিত: (2000-01-01)

Finitely materialisable Datalog programs with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2021)

Finite materialisability of Datalog programs with metric temporal operators
অনুযায়ী: Wałęga, PA, অন্যান্য
প্রকাশিত: (2023)

Bridging max graph neural networks and datalog with negation
অনুযায়ী: Tena Cucala, D, অন্যান্য
প্রকাশিত: (2024)