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

Полное описание

Библиографические подробности
Главные авторы:	Kaminski, M, Nenov, Y, Grau, BC
Формат:	Conference item
Язык:	English
Опубликовано:	Springer International Publishing 2014
Предметы:	Artificial Intelligence Computer Science Knowledge Representation and Reasoning

Схожие документы

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog rewriting techniques for non-Horn ontologies
по: Kaminski, M, и др.
Опубликовано: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
по: Cuenca Grau, B, и др.
Опубликовано: (2016)

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)

Parallel materialisation of datalog programs in centralised, main-memory RDF systems
по: Motik, B, и др.
Опубликовано: (2014)

Incremental update of datalog materialisation : the backward/forward algorithm
по: Motik, B, и др.
Опубликовано: (2015)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
по: Cristina Feier, и др.
Опубликовано: (2019-05-01)

Computing Datalog Rewritings Beyond Horn Ontologies
по: Grau, B, и др.
Опубликовано: (2013)

Disjunctive Datalog
по: Eiter, T, и др.
Опубликовано: (1997)

Reasoning in Description Logics by a Reduction to Disjunctive Datalog.
по: Hustadt, U, и др.
Опубликовано: (2007)

Handling owl:sameAs via rewriting
по: Motik, B, и др.
Опубликовано: (2015)

Adding Disjunction to Datalog
по: Eiter, T, и др.
Опубликовано: (1994)

Sufficient Conditions for First−Order and Datalog Rewritability in ELU
по: Kaminski, M, и др.
Опубликовано: (2013)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
по: Sebastian Rudolph, и др.
Опубликовано: (2012-02-01)

Ontology module extraction via datalog reasoning
по: Romero, AA, и др.
Опубликовано: (2015)

Complexity and expressive power of disjunction and negation in limit datalog
по: Kaminski, M, и др.
Опубликовано: (2020)

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
по: Rudolph, S, и др.
Опубликовано: (2008)

Combining rewriting and incremental materialisation maintenance for datalog programs with equality
по: Motik, B, и др.
Опубликовано: (2015)

Datalog rewriting for Guarded TGDs
по: Benedikt, M, и др.
Опубликовано: (2022)

Pay−as−you−go ontology query answering using a datalog reasoner
по: Zhou, Y, и др.
Опубликовано: (2014)

The impact of disjunction on reasoning under existential rules
по: Morak, M
Опубликовано: (2014)

Small Datalog Query Rewritings for EL
по: Stefanoni, G, и др.
Опубликовано: (2012)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
по: Rudolph, S, и др.
Опубликовано: (2012)

Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
по: Lukasiewicz, T, и др.
Опубликовано: (2012)

Module extraction in expressive ontology languages via datalog reasoning
по: Grau, B, и др.
Опубликовано: (2016)

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
по: Zhou, Y
Опубликовано: (2015)

Stratified negation in limit datalog programs
по: Kaminski, M, и др.
Опубликовано: (2018)

Algorithmic definitions for KLM-style defeasible disjunctive Datalog
по: Matthew Morris, и др.
Опубликовано: (2020-12-01)

Inconsistency Handling in Datalog+⁄− Ontologies
по: Lukasiewicz, T, и др.
Опубликовано: (2012)

On the Semantic Relationship between Datalog and Description Logics.
по: Krötzsch, M, и др.
Опубликовано: (2010)

Ontology module extraction and applications to ontology classification
по: Armas Romero, A
Опубликовано: (2015)

Computing horn rewritings of description logics ontologies
по: Kaminski, M, и др.
Опубликовано: (2015)

Datalog Rewritings of Regular Path Queries using Views
по: Nadime Francis, и др.
Опубликовано: (2015-12-01)

Stream reasoning with DatalogMTL
по: Walega, P, и др.
Опубликовано: (2023)

Stream reasoning in temporal datalog
по: Ronca, A, и др.
Опубликовано: (2018)

Maintenance of datalog materialisations revisited
по: Motik, B, и др.
Опубликовано: (2019)

Optimised storage for datalog reasoning
по: Zhang, X, и др.
Опубликовано: (2024)

Consistent Answers in Probabilistic Datalog+⁄− Ontologies
по: Lukasiewicz, T, и др.
Опубликовано: (2012)