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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Gottlob, G, Hernich, A, Kupke, C, Lukasiewicz, T
Fformat:	Conference item
Cyhoeddwyd:	AAAI Press 2014

Eitemau Tebyg

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
gan: Gottlob, G, et al.
Cyhoeddwyd: (2012)

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

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

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
gan: Hernich, A, et al.
Cyhoeddwyd: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
gan: Hernich, A, et al.
Cyhoeddwyd: (2013)

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

Dyadic existential rules
gan: Gottlob, G, et al.
Cyhoeddwyd: (2022)

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

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
gan: Eiter, T, et al.
Cyhoeddwyd: (1997)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2011)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2006)

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

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

Well−Founded Semantics for Description Logic Programs in the Semantic Web
gan: Eiter, T, et al.
Cyhoeddwyd: (2004)

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

Managing uncertainty and vagueness in description logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
gan: Calì, A, et al.
Cyhoeddwyd: (2007)

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

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

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

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2008)

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

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

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

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

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

Coalgebraic semantics of modal logics: An overview
gan: Kupke, C, et al.
Cyhoeddwyd: (2011)

Coalgebraic semantics of modal logics: An overview
gan: Kupke, C, et al.
Cyhoeddwyd: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2020)

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
gan: Matthias Hoelzel, et al.
Cyhoeddwyd: (2021-07-01)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
gan: Lukasiewicz, T, et al.
Cyhoeddwyd: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
gan: Lukasiewicz, T
Cyhoeddwyd: (2007)