Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning

अन्य संस्करण दिखाएं (3)

We study the problem of rewriting a disjunctive datalog program into plain datalog. We show that a disjunctive program is rewritable if and only if it is equivalent to a linear disjunctive program, thus providing a novel characterisation of datalog rewritability. Motivated by this result, we propose...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Kaminski, M, Nenov, Y, Cuenca Grau, B
स्वरूप:	Conference item
प्रकाशित:	Association for Computing Machinery 2014

समान संसाधन

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
द्वारा: Cuenca Grau, B, और अन्य
प्रकाशित: (2016)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Datalog rewriting techniques for non-Horn ontologies
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2014)

Computing Datalog Rewritings Beyond Horn Ontologies
द्वारा: Grau, B, और अन्य
प्रकाशित: (2013)

Complexity and expressive power of disjunction and negation in limit datalog
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2020)

Disjunctive Datalog
द्वारा: Eiter, T, और अन्य
प्रकाशित: (1997)

Ontology module extraction via datalog reasoning
द्वारा: Romero, AA, और अन्य
प्रकाशित: (2015)

Stream reasoning with DatalogMTL
द्वारा: Walega, P, और अन्य
प्रकाशित: (2023)

Stream reasoning in temporal datalog
द्वारा: Ronca, A, और अन्य
प्रकाशित: (2018)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
द्वारा: Cristina Feier, और अन्य
प्रकाशित: (2019-05-01)

Adding Disjunction to Datalog
द्वारा: Eiter, T, और अन्य
प्रकाशित: (1994)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2013)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
द्वारा: Motik, B, और अन्य
प्रकाशित: (2015)

Module extraction in expressive ontology languages via datalog reasoning
द्वारा: Grau, B, और अन्य
प्रकाशित: (2016)

Reasoning techniques in DatalogMTL
द्वारा: Wałega, PA, और अन्य
प्रकाशित: (2022)

Pay−as−you−go ontology query answering using a datalog reasoner
द्वारा: Zhou, Y, और अन्य
प्रकाशित: (2014)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
द्वारा: Hustadt, U, और अन्य
प्रकाशित: (2007)

Optimised storage for datalog reasoning
द्वारा: Zhang, X, और अन्य
प्रकाशित: (2024)

Reasoning over streaming data in metric temporal datalog
द्वारा: Walega, P, और अन्य
प्रकाशित: (2019)

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner
द्वारा: Zhou, Y, और अन्य
प्रकाशित: (2015)

Datalog rewriting for Guarded TGDs
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2022)

Stratified negation in limit datalog programs
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2018)

Enhancing datalog reasoning with hypertree decompositions
द्वारा: Zhang, X, और अन्य
प्रकाशित: (2023)

Small Datalog Query Rewritings for EL
द्वारा: Stefanoni, G, और अन्य
प्रकाशित: (2012)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
द्वारा: Rudolph, S, और अन्य
प्रकाशित: (2008)

DatalogMTL over integer timeline
द्वारा: Walega, PA, और अन्य
प्रकाशित: (2020)

Materialisation-based reasoning in DatalogMTL with bounded intervals
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2023)

The complexity and expressive power of limit Datalog
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2021)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2012)

Controlled query evaluation for datalog and OWL 2 profile ontologies
द्वारा: Kostylev, E, और अन्य
प्रकाशित: (2015)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
द्वारा: Hernich, A, और अन्य
प्रकाशित: (2013)

Well−Founded Semantics for Extended Datalog and Ontological Reasoning
द्वारा: Hernich, A, और अन्य
प्रकाशित: (2013)

Inconsistency Handling in Datalog+⁄− Ontologies
द्वारा: Lukasiewicz, T, और अन्य
प्रकाशित: (2012)

Foundations of Declarative Data Analysis Using Limit Datalog Programs
द्वारा: Kaminski, M, और अन्य
प्रकाशित: (2017)

DatalogMTL: computational complexity and expressive power
द्वारा: Walega, P, और अन्य
प्रकाशित: (2019)

Tractable fragments of datalog with metric temporal operators
द्वारा: Wałęga, PA, और अन्य
प्रकाशित: (2020)

Algorithmic definitions for KLM-style defeasible disjunctive Datalog
द्वारा: Matthew Morris, और अन्य
प्रकाशित: (2020-12-01)