Stable Model Semantics for Guarded Existential Rules and Description Logics

Stable Model Semantics for Guarded Existential Rules and Description Logics

<p>We tackle a long-standing open research problem and prove the decidability of query answering under the stable model semantics for guarded existential rules, where rule bodies may contain negated atoms, and provide complexity results. The results extend to guarded Datalog+⁄− with negation,...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Gottlob, G, Hernich, A, Kupke, C, Lukasiewicz, T
Định dạng:	Conference item
Được phát hành:	AAAI Press 2014

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

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Bằng: Gottlob, G, et al.
Được phát hành: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
Bằng: Gottlob, G, et al.
Được phát hành: (2012)

The impact of active domain predicates on guarded existential rules
Bằng: Gottlob, G, et al.
Được phát hành: (2018)

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

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Bằng: Hernich, A, et al.
Được phát hành: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
Bằng: Hernich, A, et al.
Được phát hành: (2013)

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

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

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

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
Bằng: Eiter, T, et al.
Được phát hành: (1997)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2011)

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)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T
Được phát hành: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T
Được phát hành: (2006)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2004)

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

Managing uncertainty and vagueness in description logics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

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

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

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

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

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)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
Bằng: Calì, A, et al.
Được phát hành: (2007)

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

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

Explanations for inconsistency-tolerant query answering under existential rules
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2020)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
Bằng: Lukasiewicz, T
Được phát hành: (2008)

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

Description logic rules /
Bằng: 518544 Krt̲zsch, Markus
Được phát hành: (c201)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2010)

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

Combining answer set programming with description logics for the semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2008)

Combining Answer Set Programming with Description Logics for the Semantic Web
Bằng: Eiter, T, et al.
Được phát hành: (2008)

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