Computing datalog rewritings for disjunctive datalog programs and description logic ontologies

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies

<p>We study the closely related problems of rewriting disjunctive datalog programs and non-Horn DL ontologies into plain datalog programs that entail the same facts for every dataset. We first propose the class of markable disjunctive datalog programs, which is efficiently recognisable and adm...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kaminski, M, Nenov, Y, Grau, BC
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Springer International Publishing 2014
Ábhair:	Artificial Intelligence Computer Science Knowledge Representation and Reasoning

Míreanna comhchosúla

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewriting techniques for non-Horn ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2014)

Incremental update of datalog materialisation : the backward/forward algorithm
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
de réir: Cristina Feier, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Computing Datalog Rewritings Beyond Horn Ontologies
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2013)

Disjunctive Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1997)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
de réir: Hustadt, U, et al.
Foilsithe / Cruthaithe: (2007)

Adding Disjunction to Datalog
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (1994)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2013)

Ontology module extraction via datalog reasoning
de réir: Romero, AA, et al.
Foilsithe / Cruthaithe: (2015)

Complexity and expressive power of disjunction and negation in limit datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2020)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2008)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Handling owl:sameAs via rewriting
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2015)

Datalog rewriting for Guarded TGDs
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2022)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
de réir: Sebastian Rudolph, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Pay−as−you−go ontology query answering using a datalog reasoner
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2014)

Small Datalog Query Rewritings for EL
de réir: Stefanoni, G, et al.
Foilsithe / Cruthaithe: (2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
de réir: Rudolph, S, et al.
Foilsithe / Cruthaithe: (2012)

Computing horn rewritings of description logics ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2015)

Module extraction in expressive ontology languages via datalog reasoning
de réir: Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Stratified negation in limit datalog programs
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2018)

Inconsistency Handling in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

On the Semantic Relationship between Datalog and Description Logics.
de réir: Krötzsch, M, et al.
Foilsithe / Cruthaithe: (2010)

The impact of disjunction on reasoning under existential rules
de réir: Morak, M
Foilsithe / Cruthaithe: (2014)

DatalogMTL: computational complexity and expressive power
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

Datalog Rewritings of Regular Path Queries using Views
de réir: Nadime Francis, et al.
Foilsithe / Cruthaithe: (2015-12-01)

Stream reasoning with DatalogMTL
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2023)

Stream reasoning in temporal datalog
de réir: Ronca, A, et al.
Foilsithe / Cruthaithe: (2018)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2012)

Maintenance of datalog materialisations revisited
de réir: Motik, B, et al.
Foilsithe / Cruthaithe: (2019)

Optimised storage for datalog reasoning
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2024)

Consequence-based reasoning for the Description Logic SROIQ
de réir: Tena Cucala, DJ
Foilsithe / Cruthaithe: (2019)

DatalogMTL over integer timeline
de réir: Walega, PA, et al.
Foilsithe / Cruthaithe: (2020)