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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gottlob, G, Manna, M, Pieris, A
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Elsevier 2023

Eitemau Tebyg

Query Rewriting under Non−Guarded Rules
gan: Calì, A, et al.
Cyhoeddwyd: (2010)

The impact of active domain predicates on guarded existential rules
gan: Gottlob, G, et al.
Cyhoeddwyd: (2018)

The Impact of Active Domain Predicates on Guarded Existential Rules
gan: Gottlob, G, et al.
Cyhoeddwyd: (2016)

Stable Model Semantics for Guarded Existential Rules and Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2014)

Dyadic existential rules
gan: Gottlob, G, et al.
Cyhoeddwyd: (2022)

Query Answering under Non−guarded Rules in Datalog+/−
gan: Calì, A, et al.
Cyhoeddwyd: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
gan: Calì, A, et al.
Cyhoeddwyd: (2012)

Ontological queries: Rewriting and optimization
gan: Gottlob, G, et al.
Cyhoeddwyd: (2011)

Ontological Queries: Rewriting and optimization
gan: Gottlob, G, et al.
Cyhoeddwyd: (2011)

Query Rewriting and Optimization for Ontological Databases
gan: Gottlob, G, et al.
Cyhoeddwyd: (2014)

Ontological Query Answering via Rewriting
gan: Gottlob, G, et al.
Cyhoeddwyd: (2011)

Querying the Guarded Fragment with Transitivity.
gan: Gottlob, G, et al.
Cyhoeddwyd: (2013)

Datalog rewriting for Guarded TGDs
gan: Benedikt, M, et al.
Cyhoeddwyd: (2022)

Rewriting the infinite chase for guarded TGDs
gan: Benedikt, M, et al.
Cyhoeddwyd: (2024)

From classical to consistent query answering under existential rules
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2015)

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

Existential second−order logic over strings
gan: Eiter, T, et al.
Cyhoeddwyd: (2000)

Existential Second−Order Logic over Strings
gan: Eiter, T, et al.
Cyhoeddwyd: (1998)

Combining existential rules with the power of CP-theories
gan: Di Noia, T, et al.
Cyhoeddwyd: (2015)

Existential second−order logic over graphs: Charting the tractability frontier
gan: Gottlob, G, et al.
Cyhoeddwyd: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
gan: Gottlob, G, et al.
Cyhoeddwyd: (2000)

Rewriting the Rules of a Classifier
gan: Elango, Mahalaxmi
Cyhoeddwyd: (2022)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
gan: Kaminski, M, et al.
Cyhoeddwyd: (2013)

Logic, languages, and rules for web data extraction and reasoning over data
gan: Gottlob, G, et al.
Cyhoeddwyd: (2017)

The First-Order Theory of Ground Tree Rewrite Graphs
gan: Stefan Göller, et al.
Cyhoeddwyd: (2014-02-01)

Querying the Guarded Fragment
gan: Barany, V, et al.
Cyhoeddwyd: (2010)

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

Monotone rewritability and the analysis of queries, views, and rules
gan: Benedikt, M, et al.
Cyhoeddwyd: (2024)

On the complexity of inductively learning guarded clauses
gan: Draghici, A, et al.
Cyhoeddwyd: (2022)

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

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

Matching and Rewriting Rules in Object-Oriented Databases
gan: Giacomo Bergami, et al.
Cyhoeddwyd: (2024-08-01)

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

Querying the Guarded Fragment
gan: Vince Bárány, et al.
Cyhoeddwyd: (2014-05-01)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2012)

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

Temporal ontology-mediated queries and first-order rewritability: A short course
gan: Ryzhikov, V, et al.
Cyhoeddwyd: (2020)

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

Computing Stable Models for Nonmonotonic Existential Rules
gan: Magka, D, et al.
Cyhoeddwyd: (2013)

Explanations for Query Answers under Existential Rules
gan: Ceylan, İ, et al.
Cyhoeddwyd: (2019)