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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gottlob, G, Hernich, A, Kupke, C, Lukasiewicz, T
Formáid:	Conference item
Foilsithe / Cruthaithe:	AAAI Press 2014

Míreanna comhchosúla

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2012)

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

The Impact of Active Domain Predicates on Guarded Existential Rules
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2016)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
de réir: Hernich, A, et al.
Foilsithe / Cruthaithe: (2013)

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

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

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

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2011)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2006)

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)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2004)

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

Managing uncertainty and vagueness in description logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2007)

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

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

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

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2008)

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

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

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

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

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

Coalgebraic semantics of modal logics: An overview
de réir: Kupke, C, et al.
Foilsithe / Cruthaithe: (2011)

Coalgebraic semantics of modal logics: An overview
de réir: Kupke, C, et al.
Foilsithe / Cruthaithe: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2020)

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
de réir: Matthias Hoelzel, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
de réir: Lukasiewicz, T
Foilsithe / Cruthaithe: (2007)