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

書誌詳細
主要な著者:	Gottlob, G, Manna, M, Pieris, A
フォーマット:	Journal article
言語:	English
出版事項:	Elsevier 2023

類似資料

Query Rewriting under Non−Guarded Rules
著者:: Calì, A, 等
出版事項: (2010)

The impact of active domain predicates on guarded existential rules
著者:: Gottlob, G, 等
出版事項: (2018)

The Impact of Active Domain Predicates on Guarded Existential Rules
著者:: Gottlob, G, 等
出版事項: (2016)

Stable Model Semantics for Guarded Existential Rules and Description Logics
著者:: Gottlob, G, 等
出版事項: (2014)

Dyadic existential rules
著者:: Gottlob, G, 等
出版事項: (2022)

Query Answering under Non−guarded Rules in Datalog+/−
著者:: Calì, A, 等
出版事項: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
著者:: Calì, A, 等
出版事項: (2012)

Ontological queries: Rewriting and optimization
著者:: Gottlob, G, 等
出版事項: (2011)

Ontological Queries: Rewriting and optimization
著者:: Gottlob, G, 等
出版事項: (2011)

Query Rewriting and Optimization for Ontological Databases
著者:: Gottlob, G, 等
出版事項: (2014)

Ontological Query Answering via Rewriting
著者:: Gottlob, G, 等
出版事項: (2011)

Querying the Guarded Fragment with Transitivity.
著者:: Gottlob, G, 等
出版事項: (2013)

Datalog rewriting for Guarded TGDs
著者:: Benedikt, M, 等
出版事項: (2022)

Rewriting the infinite chase for guarded TGDs
著者:: Benedikt, M, 等
出版事項: (2024)

From classical to consistent query answering under existential rules
著者:: Lukasiewicz, T, 等
出版事項: (2015)

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

Existential second−order logic over strings
著者:: Eiter, T, 等
出版事項: (2000)

Existential Second−Order Logic over Strings
著者:: Eiter, T, 等
出版事項: (1998)

Combining existential rules with the power of CP-theories
著者:: Di Noia, T, 等
出版事項: (2015)

Existential second−order logic over graphs: Charting the tractability frontier
著者:: Gottlob, G, 等
出版事項: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
著者:: Gottlob, G, 等
出版事項: (2000)

Rewriting the Rules of a Classifier
著者:: Elango, Mahalaxmi
出版事項: (2022)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
著者:: Kaminski, M, 等
出版事項: (2013)

Logic, languages, and rules for web data extraction and reasoning over data
著者:: Gottlob, G, 等
出版事項: (2017)

The First-Order Theory of Ground Tree Rewrite Graphs
著者:: Stefan Göller, 等
出版事項: (2014-02-01)

Querying the Guarded Fragment
著者:: Barany, V, 等
出版事項: (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, 等
出版事項: (2024)

On the complexity of inductively learning guarded clauses
著者:: Draghici, A, 等
出版事項: (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, 等
出版事項: (2024-08-01)

Natural Transformations as Rewrite Rules and Monad Composition
著者:: Dexter Kozen
出版事項: (2019-01-01)

Querying the Guarded Fragment
著者:: Vince Bárány, 等
出版事項: (2014-05-01)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
著者:: Lukasiewicz, T, 等
出版事項: (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, 等
出版事項: (2020)

The impact of disjunction on reasoning under existential rules
著者:: Morak, M
出版事項: (2014)

Computing Stable Models for Nonmonotonic Existential Rules
著者:: Magka, D, 等
出版事項: (2013)

Explanations for Query Answers under Existential Rules
著者:: Ceylan, İ, 等
出版事項: (2019)