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

Bibliografske podrobnosti
Main Authors:	Gottlob, G, Pieris, A, Ŝimkus, M
Format:	Conference item
Izdano:	Springer Verlag 2016

Podobne knjige/članki

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

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

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

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

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

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

Dyadic existential rules
od: Gottlob, G, et al.
Izdano: (2022)

Existential predication in Hamar
od: Sara Petrollino
Izdano: (2019-12-01)

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

Real predicates and existential judgements
od: Bader, R
Izdano: (2018)

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

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

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

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

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

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

Querying the Guarded Fragment
od: Barany, V, et al.
Izdano: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Active Predicate Learning
od: Li, Amber
Izdano: (2023)

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

Verbal predicate in the nominal predicate
od: Mirko Peti
Izdano: (2004-01-01)