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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Zhou, Y, Cuenca Grau, B, Nenov, Y, Kaminski, M, Horrocks, I
Formáid:	Journal article
Foilsithe / Cruthaithe:	AI Access Foundation 2015

Míreanna comhchosúla

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
de réir: Zhou, Y
Foilsithe / Cruthaithe: (2015)

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

Pay-as-you-go OWL query answering using a triple store
de réir: Zhou, Y, 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)

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 non-Horn ontologies
de réir: Cuenca Grau, B, et al.
Foilsithe / Cruthaithe: (2016)

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

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

Enhancing datalog reasoning with hypertree decompositions
de réir: Zhang, X, et al.
Foilsithe / Cruthaithe: (2023)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
de réir: Tena Cucala, D, et al.
Foilsithe / Cruthaithe: (2021)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2014)

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

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

Limit Datalog: A declarative query language for data analysis
de réir: Grau, BC, et al.
Foilsithe / Cruthaithe: (2020)

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

Tractable Query Answering over Ontologies with Datalog+⁄−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2009)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2011)

Preference−Based Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Reasoning over streaming data in metric temporal datalog
de réir: Walega, P, et al.
Foilsithe / Cruthaithe: (2019)

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

Complete Query Answering Over Horn Ontologies Using a Triple Store
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
de réir: Zhou, Y, et al.
Foilsithe / Cruthaithe: (2013)

Reasoning techniques in DatalogMTL
de réir: Wałega, PA, et al.
Foilsithe / Cruthaithe: (2022)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2014)

Query Answering under Non−guarded Rules in Datalog+/−
de réir: Calì, A, et al.
Foilsithe / Cruthaithe: (2010)

Complexity of approximate query answering under inconsistency in datalog+/-
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2018)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2013)

Complexity of approximate query answering under inconsistency in Datalog+/-
de réir: Lukasiewicz, T, et al.
Foilsithe / Cruthaithe: (2018)

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

The complexity and expressive power of limit Datalog
de réir: Kaminski, M, et al.
Foilsithe / Cruthaithe: (2021)

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