16 citations · 26 across the 11 of their papers we have counts for
3 papers · 1 filter
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…