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

书目详细资料
Main Authors:	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, et al.
出版: (2012)

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

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

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

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

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

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

Dyadic existential rules
由: Gottlob, G, et al.
出版: (2022)

Computing Stable Models for Nonmonotonic Existential Rules
由: Magka, D, et al.
出版: (2013)

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

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

Well−founded Semantics for Description Logic Programs in the Semantic Web
由: Eiter, T, et al.
出版: (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, et al.
出版: (2000)

Existential Second−Order Logic over Strings
由: Eiter, T, et al.
出版: (1998)

Query Rewriting under Non−Guarded Rules
由: Calì, A, et al.
出版: (2010)

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

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

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

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

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

Explanations for Query Answers under Existential Rules
由: Ceylan, İ, et al.
出版: (2019)

Query Answering under Non−guarded Rules in Datalog+/−
由: Calì, A, et al.
出版: (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, et al.
出版: (2016)

Basic probabilistic ontological data exchange with existential rules
由: Lukasiewicz, T, et al.
出版: (2016)

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

Coalgebraic semantics of modal logics: An overview
由: Kupke, C, et al.
出版: (2011)

Coalgebraic semantics of modal logics: An overview
由: Kupke, C, et al.
出版: (2011)

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

Explanations for negative query answers under existential rules
由: Ceylan, I, et al.
出版: (2020)

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

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

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

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

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

Tightly Coupled Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
由: Lukasiewicz, T, et al.
出版: (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)