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

Полное описание

Библиографические подробности
Главные авторы:	Gottlob, G, Hernich, A, Kupke, C, Lukasiewicz, T
Формат:	Conference item
Опубликовано:	AAAI Press 2014

Схожие документы

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
по: Gottlob, G, и др.
Опубликовано: (2012)

Equality−Friendly Well−Founded Semantics and Applications to Description Logics
по: Gottlob, G, и др.
Опубликовано: (2012)

The impact of active domain predicates on guarded existential rules
по: Gottlob, G, и др.
Опубликовано: (2018)

The Impact of Active Domain Predicates on Guarded Existential Rules
по: Gottlob, G, и др.
Опубликовано: (2016)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
по: Hernich, A, и др.
Опубликовано: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
по: Hernich, A, и др.
Опубликовано: (2013)

Polynomial combined first-order rewritings for linear and guarded existential rules
по: Gottlob, G, и др.
Опубликовано: (2023)

Dyadic existential rules
по: Gottlob, G, и др.
Опубликовано: (2022)

Computing Stable Models for Nonmonotonic Existential Rules
по: Magka, D, и др.
Опубликовано: (2013)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions
по: Eiter, T, и др.
Опубликовано: (1997)

Well-Founded Semantics for Description Logic Programs in the Semantic Web
по: Eiter, T, и др.
Опубликовано: (2011)

Well−founded Semantics for Description Logic Programs in the Semantic Web
по: Eiter, T, и др.
Опубликовано: (2011)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2008)

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2006)

Existential second−order logic over strings
по: Eiter, T, и др.
Опубликовано: (2000)

Existential Second−Order Logic over Strings
по: Eiter, T, и др.
Опубликовано: (1998)

Well−Founded Semantics for Description Logic Programs in the Semantic Web
по: Eiter, T, и др.
Опубликовано: (2004)

Query Rewriting under Non−Guarded Rules
по: Calì, A, и др.
Опубликовано: (2010)

Managing uncertainty and vagueness in description logics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2008)

Managing Uncertainty and Vagueness in Description Logics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2008)

Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
по: Calì, A, и др.
Опубликовано: (2007)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
по: Calì, A, и др.
Опубликовано: (2012)

Explanations for Query Answers under Existential Rules
по: Ceylan, İ, и др.
Опубликовано: (2019)

Query Answering under Non−guarded Rules in Datalog+/−
по: Calì, A, и др.
Опубликовано: (2010)

Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2008)

Generalized consistent query answering under existential rules
по: Eiter, T, и др.
Опубликовано: (2016)

Basic probabilistic ontological data exchange with existential rules
по: Lukasiewicz, T, и др.
Опубликовано: (2016)

Combining existential rules with the power of CP-theories
по: Di Noia, T, и др.
Опубликовано: (2015)

Acyclicity notions for existential rules and their application to query answering in ontologies
по: Grau, B, и др.
Опубликовано: (2013)

Explanations for negative query answers under existential rules
по: Ceylan, I, и др.
Опубликовано: (2020)

Coalgebraic semantics of modal logics: An overview
по: Kupke, C, и др.
Опубликовано: (2011)

Coalgebraic semantics of modal logics: An overview
по: Kupke, C, и др.
Опубликовано: (2011)

Explanations for inconsistency-tolerant query answering under existential rules
по: Lukasiewicz, T, и др.
Опубликовано: (2020)

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
по: Matthias Hoelzel, и др.
Опубликовано: (2021-07-01)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2008)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2008)

Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2007)

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
по: Lukasiewicz, T, и др.
Опубликовано: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2010)

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
по: Lukasiewicz, T
Опубликовано: (2007)