Polynomial combined first-order rewritings for linear and guarded existential rules

Polynomial combined first-order rewritings for linear and guarded existential rules

We consider the problem of ontological query answering, that is, the problem of answering a database query (typically a conjunctive query) in the presence of an ontology. This means that during the query answering process we also need to take into account the knowledge that can be inferred from the...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Gottlob, G, Manna, M, Pieris, A
Format:	Journal article
Język:	English
Wydane:	Elsevier 2023

Podobne zapisy

Query Rewriting under Non−Guarded Rules
od: Calì, A, i wsp.
Wydane: (2010)

The impact of active domain predicates on guarded existential rules
od: Gottlob, G, i wsp.
Wydane: (2018)

The Impact of Active Domain Predicates on Guarded Existential Rules
od: Gottlob, G, i wsp.
Wydane: (2016)

Stable Model Semantics for Guarded Existential Rules and Description Logics
od: Gottlob, G, i wsp.
Wydane: (2014)

Dyadic existential rules
od: Gottlob, G, i wsp.
Wydane: (2022)

Query Answering under Non−guarded Rules in Datalog+/−
od: Calì, A, i wsp.
Wydane: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
od: Calì, A, i wsp.
Wydane: (2012)

Ontological queries: Rewriting and optimization
od: Gottlob, G, i wsp.
Wydane: (2011)

Ontological Queries: Rewriting and optimization
od: Gottlob, G, i wsp.
Wydane: (2011)

Query Rewriting and Optimization for Ontological Databases
od: Gottlob, G, i wsp.
Wydane: (2014)

Ontological Query Answering via Rewriting
od: Gottlob, G, i wsp.
Wydane: (2011)

Querying the Guarded Fragment with Transitivity.
od: Gottlob, G, i wsp.
Wydane: (2013)

Datalog rewriting for Guarded TGDs
od: Benedikt, M, i wsp.
Wydane: (2022)

Rewriting the infinite chase for guarded TGDs
od: Benedikt, M, i wsp.
Wydane: (2024)

From classical to consistent query answering under existential rules
od: Lukasiewicz, T, i wsp.
Wydane: (2015)

Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
od: Manfred Schmidt-Schauss
Wydane: (2013-02-01)

Existential second−order logic over strings
od: Eiter, T, i wsp.
Wydane: (2000)

Existential Second−Order Logic over Strings
od: Eiter, T, i wsp.
Wydane: (1998)

Combining existential rules with the power of CP-theories
od: Di Noia, T, i wsp.
Wydane: (2015)

Existential second−order logic over graphs: Charting the tractability frontier
od: Gottlob, G, i wsp.
Wydane: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
od: Gottlob, G, i wsp.
Wydane: (2000)

Rewriting the Rules of a Classifier
od: Elango, Mahalaxmi
Wydane: (2022)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
od: Kaminski, M, i wsp.
Wydane: (2013)

Logic, languages, and rules for web data extraction and reasoning over data
od: Gottlob, G, i wsp.
Wydane: (2017)

The First-Order Theory of Ground Tree Rewrite Graphs
od: Stefan Göller, i wsp.
Wydane: (2014-02-01)

Querying the Guarded Fragment
od: Barany, V, i wsp.
Wydane: (2010)

Rewrite Rules and Simplification of Matrix Expressions
od: John J Wavrik
Wydane: (1996-12-01)

Monotone rewritability and the analysis of queries, views, and rules
od: Benedikt, M, i wsp.
Wydane: (2024)

On the complexity of inductively learning guarded clauses
od: Draghici, A, i wsp.
Wydane: (2022)

Rewriting rules applied to the formation of strategy in games,
od: Lewis, Clayton
Wydane: (2015)

Rewriting the rules : the Malaysian crisis management model /
od: 268757 Mahani Zainal Abidin
Wydane: (2002)

Matching and Rewriting Rules in Object-Oriented Databases
od: Giacomo Bergami, i wsp.
Wydane: (2024-08-01)

Natural Transformations as Rewrite Rules and Monad Composition
od: Dexter Kozen
Wydane: (2019-01-01)

Querying the Guarded Fragment
od: Vince Bárány, i wsp.
Wydane: (2014-05-01)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
od: Lukasiewicz, T, i wsp.
Wydane: (2012)

A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
od: Kazakov, Y
Wydane: (2004)

Temporal ontology-mediated queries and first-order rewritability: A short course
od: Ryzhikov, V, i wsp.
Wydane: (2020)

The impact of disjunction on reasoning under existential rules
od: Morak, M
Wydane: (2014)

Computing Stable Models for Nonmonotonic Existential Rules
od: Magka, D, i wsp.
Wydane: (2013)

Explanations for Query Answers under Existential Rules
od: Ceylan, İ, i wsp.
Wydane: (2019)