16 citations · 26 across the 11 of their papers we have counts for
13 papers
Dyadic Existential Rules
Georg Gottlob, Marco Manna, Cinzia Marte
Existential rules form an expressive Datalog-based language to specify ontological knowledge. The presence of existential quantification in rule-heads, however, makes the main reas…
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects
Giovanni Amendola, Marco Manna, Aldo Ricioppo
Similarities between entities occur frequently in many real-world scenarios. For over a century, researchers in different fields have proposed a range of approaches to measure the…
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Nicola Leone, Marco Manna, Maria Concetta Morelli +1
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for An…
I-DLV-sr: A Stream Reasoning System based on I-DLV
Francesco Calimeri, Marco Manna, Elena Mastria +3
We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV s…
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri +3
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In…
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
Alessio Fiorentino, Jessica Zangari, Marco Manna
The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasonin…
Large-scale Ontological Reasoning via Datalog
Mario Alviano, Marco Manna
Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for ma…
Precomputing Datalog evaluation plans in large-scale scenarios
Alessio Fiorentino, Nicola Leone, Marco Manna +2
With the more and more growing demand for semantic Web services over large databases, an efficient evaluation of Datalog queries is arousing a renewed interest among researchers an…
Finite model reasoning over existential rules
Giovanni Amendola, Nicola Leone, Marco Manna
Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ont…
Ontology-driven Information Extraction
Weronika T. Adrian, Nicola Leone, Marco Manna
Homogeneous unstructured data (HUD) are collections of unstructured documents that share common properties, such as similar layout, common file format, or common domain of values.…
Taming Primary Key Violations to Query Large Inconsistent Data
Marco Manna, Francesco Ricca, Giorgio Terracina
Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic progr…
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice
Marco Manna, Francesco Ricca, Giorgio Terracina
A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global…
Distributed XML Design
S. Abiteboul, G. Gottlob, M. Manna
A distributed XML document is an XML document that spans several machines. We assume that a distribution design of the document tree is given, consisting of an XML kernel-document…