The Impact of Active Domain Predicates on Guarded Existential Rules

The Impact of Active Domain Predicates on Guarded Existential Rules

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gottlob, G, Pieris, A, Ŝimkus, M
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer Verlag 2016

Míreanna comhchosúla

The impact of active domain predicates on guarded existential rules
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2018)

Polynomial combined first-order rewritings for linear and guarded existential rules
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2023)

Stable Model Semantics for Guarded Existential Rules and Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2014)

Query Rewriting under Non−Guarded Rules
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Query Answering under Non−guarded Rules in Datalog+/−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2012)

Dyadic existential rules
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2022)

Existential predication in Hamar
de réir: Sara Petrollino
Foilsithe / Cruthaithe: (2019-12-01)

Querying the Guarded Fragment with Transitivity.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2013)

Real predicates and existential judgements
de réir: Bader, R
Foilsithe / Cruthaithe: (2018)

From classical to consistent query answering under existential rules
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2015)

On markedness in locative and existential predication: “Existential takeover”, frequency and complexity in Siberian languages
de réir: Chris Lasse Däbritz
Foilsithe / Cruthaithe: (2025-01-01)

Datalog and its extensions for the semantic web
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2012)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)

Logic, languages, and rules for web data extraction and reasoning over data
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2017)

Subject and Predicate in Existential Propositions: A Survey of Frege’s Problem and Its Solutions
de réir: Siavash Asadi
Foilsithe / Cruthaithe: (2020-11-01)

Querying the Guarded Fragment
de réir: Barany, V, et al.
Foilsithe / Cruthaithe: (2010)

On the complexity of inductively learning guarded clauses
de réir: Draghici, A, et al.
Foilsithe / Cruthaithe: (2022)

Querying the Guarded Fragment
de réir: Vince Bárány, et al.
Foilsithe / Cruthaithe: (2014-05-01)

Combining existential rules with the power of CP-theories
de réir: Di Noia, T, et al.
Foilsithe / Cruthaithe: (2015)

An Efficient Method for Eliminating Varying Predicates from a Circumscription
de réir: Cadoli, M, et al.
Foilsithe / Cruthaithe: (1992)

Existential second−order logic over strings
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2000)

Existential Second−Order Logic over Strings
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1998)

Computing Stable Models for Nonmonotonic Existential Rules
de réir: Magka, D, et al.
Foilsithe / Cruthaithe: (2013)

Explanations for Query Answers under Existential Rules
de réir: Ceylan, İ, et al.
Foilsithe / Cruthaithe: (2019)

Basic probabilistic ontological data exchange with existential rules
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2016)

Cognitive penetration and taste predicates: making an exception to the rule
de réir: David Bordonaba-Plou
Foilsithe / Cruthaithe: (2021-03-01)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2011)

Goal-driven query answering for existential rules with equality
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2018)

Existential rules and Bayesian networks for probabilistic ontological data exchange
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2015)

Explanations for negative query answers under existential rules
de réir: Ceylan, I, et al.
Foilsithe / Cruthaithe: (2020)

Predicate based association rules mining with new interestingness measure /
de réir: Hafiz Ishfaq Ahmad, 1986- author 646296, et al.
Foilsithe / Cruthaithe: (2022)

Predicate based association rules mining with new interestingness measure /
de réir: Hafiz Ishfaq Ahmad, 1986- author 646296
Foilsithe / Cruthaithe: (2022)

Generalized consistent query answering under existential rules
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2016)

Existential second−order logic over graphs: Charting the tractability frontier
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2000)

Preferred explanations for ontology−mediated queries under existential rules
de réir: Ceylan, II, et al.
Foilsithe / Cruthaithe: (2021)

Active Predicate Learning
de réir: Li, Amber
Foilsithe / Cruthaithe: (2023)

Acyclicity notions for existential rules and their application to query answering in ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2013)

Verbal predicate in the nominal predicate
de réir: Mirko Peti
Foilsithe / Cruthaithe: (2004-01-01)