The impact of active domain predicates on guarded existential rules

The impact of active domain predicates on guarded existential rules

Hiển thị phiên bản (1) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Gottlob, G, Pieris, A, Simkus, M
Định dạng:	Journal article
Được phát hành:	Polskie Towarzystwo Matematyczne 2018

Những quyển sách tương tự

The Impact of Active Domain Predicates on Guarded Existential Rules
Bằng: Gottlob, G, et al.
Được phát hành: (2016)

Polynomial combined first-order rewritings for linear and guarded existential rules
Bằng: Gottlob, G, et al.
Được phát hành: (2023)

Stable Model Semantics for Guarded Existential Rules and Description Logics
Bằng: Gottlob, G, et al.
Được phát hành: (2014)

Query Rewriting under Non−Guarded Rules
Bằng: Calì, A, et al.
Được phát hành: (2010)

Query Answering under Non−guarded Rules in Datalog+/−
Bằng: Calì, A, et al.
Được phát hành: (2010)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
Bằng: Calì, A, et al.
Được phát hành: (2012)

Dyadic existential rules
Bằng: Gottlob, G, et al.
Được phát hành: (2022)

Existential predication in Hamar
Bằng: Sara Petrollino
Được phát hành: (2019-12-01)

Querying the Guarded Fragment with Transitivity.
Bằng: Gottlob, G, et al.
Được phát hành: (2013)

Real predicates and existential judgements
Bằng: Bader, R
Được phát hành: (2018)

From classical to consistent query answering under existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2015)

On markedness in locative and existential predication: “Existential takeover”, frequency and complexity in Siberian languages
Bằng: Chris Lasse Däbritz
Được phát hành: (2025-01-01)

Datalog and its extensions for the semantic web
Bằng: Gottlob, G, et al.
Được phát hành: (2012)

The impact of disjunction on reasoning under existential rules
Bằng: Morak, M
Được phát hành: (2014)

Logic, languages, and rules for web data extraction and reasoning over data
Bằng: Gottlob, G, et al.
Được phát hành: (2017)

Subject and Predicate in Existential Propositions: A Survey of Frege’s Problem and Its Solutions
Bằng: Siavash Asadi
Được phát hành: (2020-11-01)

Querying the Guarded Fragment
Bằng: Barany, V, et al.
Được phát hành: (2010)

On the complexity of inductively learning guarded clauses
Bằng: Draghici, A, et al.
Được phát hành: (2022)

Querying the Guarded Fragment
Bằng: Vince Bárány, et al.
Được phát hành: (2014-05-01)

Combining existential rules with the power of CP-theories
Bằng: Di Noia, T, et al.
Được phát hành: (2015)

An Efficient Method for Eliminating Varying Predicates from a Circumscription
Bằng: Cadoli, M, et al.
Được phát hành: (1992)

Existential second−order logic over strings
Bằng: Eiter, T, et al.
Được phát hành: (2000)

Existential Second−Order Logic over Strings
Bằng: Eiter, T, et al.
Được phát hành: (1998)

Computing Stable Models for Nonmonotonic Existential Rules
Bằng: Magka, D, et al.
Được phát hành: (2013)

Explanations for Query Answers under Existential Rules
Bằng: Ceylan, İ, et al.
Được phát hành: (2019)

Basic probabilistic ontological data exchange with existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2016)

Cognitive penetration and taste predicates: making an exception to the rule
Bằng: David Bordonaba-Plou
Được phát hành: (2021-03-01)

Extending Decidable Existential Rules by Joining Acyclicity and Guardedness.
Bằng: Krötzsch, M, et al.
Được phát hành: (2011)

Goal-driven query answering for existential rules with equality
Bằng: Benedikt, M, et al.
Được phát hành: (2018)

Existential rules and Bayesian networks for probabilistic ontological data exchange
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2015)

Explanations for negative query answers under existential rules
Bằng: Ceylan, I, et al.
Được phát hành: (2020)

Predicate based association rules mining with new interestingness measure /
Bằng: Hafiz Ishfaq Ahmad, 1986- author 646296, et al.
Được phát hành: (2022)

Predicate based association rules mining with new interestingness measure /
Bằng: Hafiz Ishfaq Ahmad, 1986- author 646296
Được phát hành: (2022)

Generalized consistent query answering under existential rules
Bằng: Eiter, T, et al.
Được phát hành: (2016)

Existential second−order logic over graphs: Charting the tractability frontier
Bằng: Gottlob, G, et al.
Được phát hành: (2004)

Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
Bằng: Gottlob, G, et al.
Được phát hành: (2000)

Preferred explanations for ontology−mediated queries under existential rules
Bằng: Ceylan, II, et al.
Được phát hành: (2021)

Active Predicate Learning
Bằng: Li, Amber
Được phát hành: (2023)

Acyclicity notions for existential rules and their application to query answering in ontologies
Bằng: Grau, B, et al.
Được phát hành: (2013)

Verbal predicate in the nominal predicate
Bằng: Mirko Peti
Được phát hành: (2004-01-01)