The impact of active domain predicates on guarded existential rules

The impact of active domain predicates on guarded existential rules

Show other versions (1)

It is realistic to assume that a database management system provides access to the active domain via built-in relations. Therefore, databases that include designated predicates that hold the active domain, which we call product databases, form a natural notion that deserves our attention. An importa...

Bibliografske podrobnosti
Main Authors:	Gottlob, G, Pieris, A, Simkus, M
Format:	Journal article
Izdano:	Polskie Towarzystwo Matematyczne 2018

Podobne knjige/članki

The Impact of Active Domain Predicates on Guarded Existential Rules
od: Gottlob, G, et al.
Izdano: (2016)

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)