The Impact of Active Domain Predicates on Guarded Existential Rules

The Impact of Active Domain Predicates on Guarded Existential Rules

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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Gottlob, G, Pieris, A, Ŝimkus, M
Format:	Conference item
Udgivet:	Springer Verlag 2016

Lignende værker

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

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

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

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

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

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

Dyadic existential rules
af: Gottlob, G, et al.
Udgivet: (2022)

Existential predication in Hamar
af: Sara Petrollino
Udgivet: (2019-12-01)

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

Real predicates and existential judgements
af: Bader, R
Udgivet: (2018)

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

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

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

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

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

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

Querying the Guarded Fragment
af: Barany, V, et al.
Udgivet: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Active Predicate Learning
af: Li, Amber
Udgivet: (2023)

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

Verbal predicate in the nominal predicate
af: Mirko Peti
Udgivet: (2004-01-01)