Adding Disjunction to Datalog

Adding Disjunction to Datalog

Bibliographic Details
Main Authors:	Eiter, T, Gottlob, G, Mannila, H
Format:	Conference item
Published:	ACM Press 1994

Similar Items

Disjunctive Datalog
by: Eiter, T, et al.
Published: (1997)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
by: Eiter, T, et al.
Published: (1994)

Disjunctive Logic Programming over Finite Structures
by: Eiter, T, et al.
Published: (1994)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
by: Cuenca Grau, B, et al.
Published: (2016)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
by: Kaminski, M, et al.
Published: (2014)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
by: Kaminski, M, et al.
Published: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
by: Kaminski, M, et al.
Published: (2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
by: Kaminski, M, et al.
Published: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
by: Kaminski, M, et al.
Published: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
by: Kaminski, M, et al.
Published: (2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies
by: Kaminski, M, et al.
Published: (2014)

Complexity Aspects of Various Semantics for Disjunctive Databases
by: Eiter, T, et al.
Published: (1993)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
by: Hustadt, U, et al.
Published: (2007)

Complexity and expressive power of disjunction and negation in limit datalog
by: Kaminski, M, et al.
Published: (2020)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
by: Cristina Feier, et al.
Published: (2019-05-01)

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
by: Eiter, T, et al.
Published: (1993)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
by: Rudolph, S, et al.
Published: (2008)

Datalog+⁄−: Questions and Answers
by: Gottlob, G, et al.
Published: (2014)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
by: Rudolph, S, et al.
Published: (2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
by: Sebastian Rudolph, et al.
Published: (2012-02-01)

On the complexity of single−rule datalog queries
by: Gottlob, G, et al.
Published: (2003)

On the Complexity of Single−Rule Datalog Queries
by: Gottlob, G, et al.
Published: (1999)

Complexity and Expressive Power of Disjunctive Logic Programming
by: Gottlob, G
Published: (1994)

Adding magic to an optimising datalog compiler.
by: Sereni, D, et al.
Published: (2008)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
by: Gottlob, G, et al.
Published: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
by: Gottlob, G, et al.
Published: (2011)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
by: Gottlob, G, et al.
Published: (2011)

Datalog and its extensions for the semantic web
by: Gottlob, G, et al.
Published: (2012)

Causal Models of Disjunctive Logic Programs
by: Dix, J, et al.
Published: (1994)

Tractable Query Answering over Ontologies with Datalog+⁄−
by: Calì, A, et al.
Published: (2009)

Adventures with datalog: walking the thin line between theory and practice
by: Gottlob, G
Published: (2023)

Efficient Datalog Abduction through Bounded Treewidth
by: Gottlob, G, et al.
Published: (2007)

Datalog+⁄−: A Family of Languages for Ontology Querying
by: Calì, A, et al.
Published: (2011)

Datalog+/-: A Family of Languages for Ontology Querying.
by: Calì, A, et al.
Published: (2010)

Datalog±: A Unified Approach to Ontologies and Integrity Constraints
by: Calì, A, et al.
Published: (2009)

Datalog±: a unified approach to ontologies and integrity constraints.
by: Calì, A, et al.
Published: (2009)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
by: Gottlob, G, et al.
Published: (2002)

Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
by: Gottlob, G, et al.
Published: (2002)