Alessio Fiorentino

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 11

Top Topics

Reasoning With Inconsistent

Maximal Tractable

Top Venues

Theory Pract. Log. Program.

Publications

Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Theory Pract. Log. Program. 20 (6) (2020)
Alessio Fiorentino, Jessica Zangari, Marco Manna
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. CoRR (2020)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Querying Large Expressive Horn Ontologies. SEBD (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Theory Pract. Log. Program. 19 (5-6) (2019)
Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
Precomputing Datalog evaluation plans in large-scale scenarios. CoRR (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large Scale DLV: Preliminary Results. CILC (2019)
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari
An ASP-based Approach for Optimizing DLV Evaluation. CILC (2019)
Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Large-Scale Reasoning on Expressive Horn Ontologies. Datalog (2019)
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Enhancing DLV for Large-Scale Reasoning. LPNMR (2019)
Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari
Memory-Saving Evaluation Plans for Datalog. JELIA (2019)
Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari
Reasoning over Ontologies with DLV. IC3K (2018)