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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Zhou, Y, Cuenca Grau, B, Nenov, Y, Kaminski, M, Horrocks, I
Định dạng:	Journal article
Được phát hành:	AI Access Foundation 2015

Những quyển sách tương tự

PAGOdA: Pay-as-you-go ontology query answering using a datalog reasoner
Bằng: Zhou, Y
Được phát hành: (2015)

Pay−as−you−go ontology query answering using a datalog reasoner
Bằng: Zhou, Y, et al.
Được phát hành: (2014)

Pay-as-you-go OWL query answering using a triple store
Bằng: Zhou, Y, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of disjunctive datalog programs and its applications to ontology reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies
Bằng: Cuenca Grau, B, et al.
Được phát hành: (2016)

Stream reasoning in temporal datalog
Bằng: Ronca, A, et al.
Được phát hành: (2018)

Optimised storage for datalog reasoning
Bằng: Zhang, X, et al.
Được phát hành: (2024)

Enhancing datalog reasoning with hypertree decompositions
Bằng: Zhang, X, et al.
Được phát hành: (2023)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Bằng: Tena Cucala, D, et al.
Được phát hành: (2021)

Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Stream reasoning with DatalogMTL
Bằng: Walega, P, et al.
Được phát hành: (2023)

Ontology module extraction via datalog reasoning
Bằng: Romero, AA, et al.
Được phát hành: (2015)

Limit Datalog: A declarative query language for data analysis
Bằng: Grau, BC, et al.
Được phát hành: (2020)

Datalog rewriting techniques for non-Horn ontologies
Bằng: Kaminski, M, et al.
Được phát hành: (2014)

Tractable Query Answering over Ontologies with Datalog+⁄−
Bằng: Calì, A, et al.
Được phát hành: (2009)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
Bằng: Gottlob, G, et al.
Được phát hành: (2011)

Preference−Based Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Group Preferences for Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Preference−Based Query Answering in Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Complexity of Inconsistency−Tolerant Query Answering in Datalog+⁄−
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Reasoning over streaming data in metric temporal datalog
Bằng: Walega, P, et al.
Được phát hành: (2019)

Module extraction in expressive ontology languages via datalog reasoning
Bằng: Grau, B, et al.
Được phát hành: (2016)

Complete Query Answering Over Horn Ontologies Using a Triple Store
Bằng: Zhou, Y, et al.
Được phát hành: (2013)

Complete Query Answering over Horn Ontologies Using a Triple Store.
Bằng: Zhou, Y, et al.
Được phát hành: (2013)

Reasoning techniques in DatalogMTL
Bằng: Wałega, PA, et al.
Được phát hành: (2022)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2013)

Preference−Based Query Answering in Probabilistic Datalog+⁄− Ontologies
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2014)

Query Answering under Non−guarded Rules in Datalog+/−
Bằng: Calì, A, et al.
Được phát hành: (2010)

Complexity of approximate query answering under inconsistency in datalog+/-
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2018)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
Bằng: Gottlob, G, et al.
Được phát hành: (2013)

Complexity of approximate query answering under inconsistency in Datalog+/-
Bằng: Lukasiewicz, T, et al.
Được phát hành: (2018)

Small Datalog Query Rewritings for EL
Bằng: Stefanoni, G, et al.
Được phát hành: (2012)

The complexity and expressive power of limit Datalog
Bằng: Kaminski, M, et al.
Được phát hành: (2021)

Stratified negation in limit datalog programs
Bằng: Kaminski, M, et al.
Được phát hành: (2018)