The Impact of Active Domain Predicates on Guarded Existential Rules

The Impact of Active Domain Predicates on Guarded Existential Rules

Veure altres versions (1)

We claim it is realistic to assume that a database management system provides access to the active domain via built-in relations. Therefore, product databases, i.e., databases that include designated predicates that hold the active domain, form a natural notion that deserves our attention. An import...

Descripció completa

Dades bibliogràfiques
Autors principals:	Gottlob, G, Pieris, A, Ŝimkus, M
Format:	Conference item
Publicat:	Springer Verlag 2016

Ítems similars

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

Polynomial combined first-order rewritings for linear and guarded existential rules
per: Gottlob, G, et al.
Publicat: (2023)

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

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

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

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

Dyadic existential rules
per: Gottlob, G, et al.
Publicat: (2022)

Existential predication in Hamar
per: Sara Petrollino
Publicat: (2019-12-01)

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

Real predicates and existential judgements
per: Bader, R
Publicat: (2018)

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

On markedness in locative and existential predication: “Existential takeover”, frequency and complexity in Siberian languages
per: Chris Lasse Däbritz
Publicat: (2025-01-01)

Datalog and its extensions for the semantic web
per: Gottlob, G, et al.
Publicat: (2012)

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

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

Subject and Predicate in Existential Propositions: A Survey of Frege’s Problem and Its Solutions
per: Siavash Asadi
Publicat: (2020-11-01)

Querying the Guarded Fragment
per: Barany, V, et al.
Publicat: (2010)

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

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

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

An Efficient Method for Eliminating Varying Predicates from a Circumscription
per: Cadoli, M, et al.
Publicat: (1992)

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

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

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

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

Basic probabilistic ontological data exchange with existential rules
per: Lukasiewicz, T, et al.
Publicat: (2016)

Cognitive penetration and taste predicates: making an exception to the rule
per: David Bordonaba-Plou
Publicat: (2021-03-01)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
per: Krötzsch, M, et al.
Publicat: (2011)

Goal-driven query answering for existential rules with equality
per: Benedikt, M, et al.
Publicat: (2018)

Existential rules and Bayesian networks for probabilistic ontological data exchange
per: Lukasiewicz, T, et al.
Publicat: (2015)

Explanations for negative query answers under existential rules
per: Ceylan, I, et al.
Publicat: (2020)

Predicate based association rules mining with new interestingness measure /
per: Hafiz Ishfaq Ahmad, 1986- author 646296, et al.
Publicat: (2022)

Predicate based association rules mining with new interestingness measure /
per: Hafiz Ishfaq Ahmad, 1986- author 646296
Publicat: (2022)

Generalized consistent query answering under existential rules
per: Eiter, T, et al.
Publicat: (2016)

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

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

Preferred explanations for ontology−mediated queries under existential rules
per: Ceylan, II, et al.
Publicat: (2021)

Active Predicate Learning
per: Li, Amber
Publicat: (2023)

Acyclicity notions for existential rules and their application to query answering in ontologies
per: Grau, B, et al.
Publicat: (2013)

Verbal predicate in the nominal predicate
per: Mirko Peti
Publicat: (2004-01-01)