PAGOdA: Pay-As-You-Go query answering using a datalog reasoner

PAGOdA: Pay-As-You-Go query answering using a datalog reasoner

Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for many applications. Query answering is, however, computationally very expensive, which has led to the development of query answering procedures that sacrifice either expressive power of the ontology language, o...

Descripció completa

Dades bibliogràfiques
Autors principals:	Zhou, Y, Cuenca Grau, B, Nenov, Y, Kaminski, M, Horrocks, I
Format:	Journal article
Publicat:	AI Access Foundation 2015

Ítems similars

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
per: Zhou, Y
Publicat: (2015)

Pay−as−you−go ontology query answering using a datalog reasoner
per: Zhou, Y, et al.
Publicat: (2014)

Pay-as-you-go OWL query answering using a triple store
per: Zhou, Y, et al.
Publicat: (2014)

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

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

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

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

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

Stream reasoning in temporal datalog
per: Ronca, A, et al.
Publicat: (2018)

Optimised storage for datalog reasoning
per: Zhang, X, et al.
Publicat: (2024)

Enhancing datalog reasoning with hypertree decompositions
per: Zhang, X, et al.
Publicat: (2023)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
per: Tena Cucala, D, et al.
Publicat: (2021)

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

Stream reasoning with DatalogMTL
per: Walega, P, et al.
Publicat: (2023)

Ontology module extraction via datalog reasoning
per: Romero, AA, et al.
Publicat: (2015)

Limit Datalog: A declarative query language for data analysis
per: Grau, BC, et al.
Publicat: (2020)

Datalog rewriting techniques for non-Horn ontologies
per: Kaminski, M, et al.
Publicat: (2014)

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

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

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

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

Preference−Based Query Answering in Datalog+⁄− Ontologies
per: Lukasiewicz, T, et al.
Publicat: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
per: Lukasiewicz, T, et al.
Publicat: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
per: Lukasiewicz, T, et al.
Publicat: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
per: Lukasiewicz, T, et al.
Publicat: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
per: Lukasiewicz, T, et al.
Publicat: (2013)

Reasoning over streaming data in metric temporal datalog
per: Walega, P, et al.
Publicat: (2019)

Module extraction in expressive ontology languages via datalog reasoning
per: Grau, B, et al.
Publicat: (2016)

Complete Query Answering Over Horn Ontologies Using a Triple Store
per: Zhou, Y, et al.
Publicat: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
per: Zhou, Y, et al.
Publicat: (2013)

Reasoning techniques in DatalogMTL
per: Wałega, PA, et al.
Publicat: (2022)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
per: Lukasiewicz, T, et al.
Publicat: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
per: Lukasiewicz, T, et al.
Publicat: (2014)

Query Answering under Non−guarded Rules in Datalog+/−
per: Calì, A, et al.
Publicat: (2010)

Complexity of approximate query answering under inconsistency in datalog+/-
per: Lukasiewicz, T, et al.
Publicat: (2018)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
per: Gottlob, G, et al.
Publicat: (2013)

Complexity of approximate query answering under inconsistency in Datalog+/-
per: Lukasiewicz, T, et al.
Publicat: (2018)

Small Datalog Query Rewritings for EL
per: Stefanoni, G, et al.
Publicat: (2012)

The complexity and expressive power of limit Datalog
per: Kaminski, M, et al.
Publicat: (2021)

Stratified negation in limit datalog programs
per: Kaminski, M, et al.
Publicat: (2018)