Reasoning over Ontologies with DLV. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; Simona Perri; Kristian Reale; et al. (IC3K, 2018)

An ASP-based Approach for Optimizing DLV Evaluation. - Carlo Allocca; Francesco Calimeri; Roberta Costabile; Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (CILC, 2019)

Large Scale DLV: Preliminary Results. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; et al. (CILC, 2019)

Large-Scale Reasoning on Expressive Horn Ontologies. - Carlo Allocca; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Marco Manna; Simona Perri; Kristian Reale; et al. (Datalog, 2019)

Memory-Saving Evaluation Plans for Datalog. - Carlo Allocca; Roberta Costabile; Alessio Fiorentino; Simona Perri; Jessica Zangari (JELIA, 2019)

Enhancing DLV for Large-Scale Reasoning. - Nicola Leone; Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Bernardo Cuteri; Marco Manna; et al. (LPNMR, 2019)

Querying Large Expressive Horn Ontologies. - Carlo Allocca; Mario Alviano; Francesco Calimeri; Cristina Civili; Roberta Costabile; Bernardo Cuteri; Alessio Fiorentino; Davide Fuscà; Stefano Germano; Giovanni Laboccetta; Nicola Leone; Marco Manna; et al. (SEBD, 2019)

Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. - Alessio Fiorentino; Nicola Leone; Marco Manna; Simona Perri; Jessica Zangari (Theory Pract. Log. Program., 2019)

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. - Alessio Fiorentino; Jessica Zangari; Marco Manna (Theory Pract. Log. Program., 2020)