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

Bibliografski detalji
Glavni autori:	Gottlob, G, Manna, M, Pieris, A
Format:	Journal article
Jezik:	English
Izdano:	Elsevier 2023

Slični predmeti

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

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

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

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

Dyadic existential rules
od: Gottlob, G, i dr.
Izdano: (2022)

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

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

Ontological queries: Rewriting and optimization
od: Gottlob, G, i dr.
Izdano: (2011)

Ontological Queries: Rewriting and optimization
od: Gottlob, G, i dr.
Izdano: (2011)

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

Ontological Query Answering via Rewriting
od: Gottlob, G, i dr.
Izdano: (2011)

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

Datalog rewriting for Guarded TGDs
od: Benedikt, M, i dr.
Izdano: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

Querying the Guarded Fragment
od: Barany, V, i dr.
Izdano: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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