Picture for Marco Manna

Marco Manna

Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects

Add code
Mar 19, 2023
Viaarxiv icon

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Add code
Aug 26, 2022
Figure 1 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Figure 2 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Viaarxiv icon

I-DLV-sr: A Stream Reasoning System based on I-DLV

Add code
Aug 05, 2021
Figure 1 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 2 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 3 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Figure 4 for I-DLV-sr: A Stream Reasoning System based on I-DLV
Viaarxiv icon

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Add code
Aug 06, 2020
Figure 1 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 2 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 3 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 4 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Viaarxiv icon

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Add code
Aug 05, 2020
Viaarxiv icon

Large-scale Ontological Reasoning via Datalog

Add code
Mar 21, 2020
Figure 1 for Large-scale Ontological Reasoning via Datalog
Figure 2 for Large-scale Ontological Reasoning via Datalog
Figure 3 for Large-scale Ontological Reasoning via Datalog
Viaarxiv icon

Precomputing Datalog evaluation plans in large-scale scenarios

Add code
Jul 29, 2019
Figure 1 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 2 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 3 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 4 for Precomputing Datalog evaluation plans in large-scale scenarios
Viaarxiv icon

Ontology-driven Information Extraction

Add code
Dec 18, 2015
Figure 1 for Ontology-driven Information Extraction
Figure 2 for Ontology-driven Information Extraction
Figure 3 for Ontology-driven Information Extraction
Figure 4 for Ontology-driven Information Extraction
Viaarxiv icon

Taming Primary Key Violations to Query Large Inconsistent Data

Add code
Jul 22, 2015
Figure 1 for Taming Primary Key Violations to Query Large Inconsistent Data
Figure 2 for Taming Primary Key Violations to Query Large Inconsistent Data
Figure 3 for Taming Primary Key Violations to Query Large Inconsistent Data
Figure 4 for Taming Primary Key Violations to Query Large Inconsistent Data
Viaarxiv icon

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues

Add code
Oct 08, 2012
Figure 1 for Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Figure 2 for Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Viaarxiv icon