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

书目详细资料
Main Authors:	Gottlob, G, Manna, M, Pieris, A
格式:	Journal article
语言:	English
出版:	Elsevier 2023

相似书籍

Query Rewriting under Non−Guarded Rules
由: Calì, A, et al.
出版: (2010)

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

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

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

Dyadic existential rules
由: Gottlob, G, et al.
出版: (2022)

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

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

Ontological queries: Rewriting and optimization
由: Gottlob, G, et al.
出版: (2011)

Ontological Queries: Rewriting and optimization
由: Gottlob, G, et al.
出版: (2011)

Query Rewriting and Optimization for Ontological Databases
由: Gottlob, G, et al.
出版: (2014)

Ontological Query Answering via Rewriting
由: Gottlob, G, et al.
出版: (2011)

Querying the Guarded Fragment with Transitivity.
由: Gottlob, G, et al.
出版: (2013)

Datalog rewriting for Guarded TGDs
由: Benedikt, M, et al.
出版: (2022)

Rewriting the infinite chase for guarded TGDs
由: Benedikt, M, et al.
出版: (2024)

From classical to consistent query answering under existential rules
由: Lukasiewicz, T, et al.
出版: (2015)

Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
由: Manfred Schmidt-Schauss
出版: (2013-02-01)

Existential second−order logic over strings
由: Eiter, T, et al.
出版: (2000)

Existential Second−Order Logic over Strings
由: Eiter, T, et al.
出版: (1998)

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

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

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

Rewriting the Rules of a Classifier
由: Elango, Mahalaxmi
出版: (2022)

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

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

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

Querying the Guarded Fragment
由: Barany, V, et al.
出版: (2010)

Rewrite Rules and Simplification of Matrix Expressions
由: John J Wavrik
出版: (1996-12-01)

Monotone rewritability and the analysis of queries, views, and rules
由: Benedikt, M, et al.
出版: (2024)

On the complexity of inductively learning guarded clauses
由: Draghici, A, et al.
出版: (2022)

Rewriting rules applied to the formation of strategy in games,
由: Lewis, Clayton
出版: (2015)

Rewriting the rules : the Malaysian crisis management model /
由: 268757 Mahani Zainal Abidin
出版: (2002)

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

Natural Transformations as Rewrite Rules and Monad Composition
由: Dexter Kozen
出版: (2019-01-01)

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

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

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

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

The impact of disjunction on reasoning under existential rules
由: Morak, M
出版: (2014)

Computing Stable Models for Nonmonotonic Existential Rules
由: Magka, D, et al.
出版: (2013)

Explanations for Query Answers under Existential Rules
由: Ceylan, İ, et al.
出版: (2019)