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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Gottlob, G, Manna, M, Pieris, A
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	Elsevier 2023

Những quyển sách tương tự

Query Rewriting under Non−Guarded Rules
Bằng: Calì, A, et al.
Được phát hành: (2010)

The impact of active domain predicates on guarded existential rules
Bằng: Gottlob, G, et al.
Được phát hành: (2018)

The Impact of Active Domain Predicates on Guarded Existential Rules
Bằng: Gottlob, G, et al.
Được phát hành: (2016)

Stable Model Semantics for Guarded Existential Rules and Description Logics
Bằng: Gottlob, G, et al.
Được phát hành: (2014)

Dyadic existential rules
Bằng: Gottlob, G, et al.
Được phát hành: (2022)

Query Answering under Non−guarded Rules in Datalog+/−
Bằng: Calì, A, et al.
Được phát hành: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Bằng: Calì, A, et al.
Được phát hành: (2012)

Ontological queries: Rewriting and optimization
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Ontological Queries: Rewriting and optimization
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Query Rewriting and Optimization for Ontological Databases
Bằng: Gottlob, G, et al.
Được phát hành: (2014)

Ontological Query Answering via Rewriting
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Querying the Guarded Fragment with Transitivity.
Bằng: Gottlob, G, et al.
Được phát hành: (2013)

Datalog rewriting for Guarded TGDs
Bằng: Benedikt, M, et al.
Được phát hành: (2022)

Rewriting the infinite chase for guarded TGDs
Bằng: Benedikt, M, et al.
Được phát hành: (2024)

From classical to consistent query answering under existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2015)

Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)
Bằng: Manfred Schmidt-Schauss
Được phát hành: (2013-02-01)

Existential second−order logic over strings
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Existential Second−Order Logic over Strings
Bằng: Eiter, T, et al.
Được phát hành: (1998)

Combining existential rules with the power of CP-theories
Bằng: Di Noia, T, et al.
Được phát hành: (2015)

Existential second−order logic over graphs: Charting the tractability frontier
Bằng: Gottlob, G, et al.
Được phát hành: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
Bằng: Gottlob, G, et al.
Được phát hành: (2000)

Rewriting the Rules of a Classifier
Bằng: Elango, Mahalaxmi
Được phát hành: (2022)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
Bằng: Kaminski, M, et al.
Được phát hành: (2013)

The First-Order Theory of Ground Tree Rewrite Graphs
Bằng: Stefan Göller, et al.
Được phát hành: (2014-02-01)

Logic, languages, and rules for web data extraction and reasoning over data
Bằng: Gottlob, G, et al.
Được phát hành: (2017)

Querying the Guarded Fragment
Bằng: Barany, V, et al.
Được phát hành: (2010)

Rewrite Rules and Simplification of Matrix Expressions
Bằng: John J Wavrik
Được phát hành: (1996-12-01)

Monotone rewritability and the analysis of queries, views, and rules
Bằng: Benedikt, M, et al.
Được phát hành: (2024)

On the complexity of inductively learning guarded clauses
Bằng: Draghici, A, et al.
Được phát hành: (2022)

Rewriting rules applied to the formation of strategy in games,
Bằng: Lewis, Clayton
Được phát hành: (2015)

Rewriting the rules : the Malaysian crisis management model /
Bằng: 268757 Mahani Zainal Abidin
Được phát hành: (2002)

Matching and Rewriting Rules in Object-Oriented Databases
Bằng: Giacomo Bergami, et al.
Được phát hành: (2024-08-01)

Natural Transformations as Rewrite Rules and Monad Composition
Bằng: Dexter Kozen
Được phát hành: (2019-01-01)

Querying the Guarded Fragment
Bằng: Vince Bárány, et al.
Được phát hành: (2014-05-01)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2012)

A Polynomial Translation from the Two−Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
Bằng: Kazakov, Y
Được phát hành: (2004)

Temporal ontology-mediated queries and first-order rewritability: A short course
Bằng: Ryzhikov, V, et al.
Được phát hành: (2020)

The impact of disjunction on reasoning under existential rules
Bằng: Morak, M
Được phát hành: (2014)

Computing Stable Models for Nonmonotonic Existential Rules
Bằng: Magka, D, et al.
Được phát hành: (2013)

Explanations for Query Answers under Existential Rules
Bằng: Ceylan, İ, et al.
Được phát hành: (2019)