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)