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)