529 citations · 654 across the 24 of their papers we have counts for
24 papers
A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks
Ngoc Thai Le, Thanh Ma, Umberto Straccia
Standard automated sewer pipe severity assessment relies on direct image classification, creating a "black box" where the link between visual defects and final severity scores rema…
Fuzzy Quantification over OWL Ontologies and Knowledge Graphs
Enrique Palacín, Fernando Bobillo, Ignacio Huitzil +2
This paper presents a versatile framework for evaluating fuzzy quantification queries over both standard and fuzzy ontologies as well as knowledge graphs. The primary objective is…
Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure
Giovanni Casini, Umberto Straccia
In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we stu…
Fuzzy OWL 2 Reasoning: A Re-Engineered Python Framework
Fernando Bobillo, Giuseppe Filippone, Gianmarco La Rosa +2
In many real-world domains, knowledge is inherently vague or imprecise - features that classical ontology languages, based on crisp Description Logics (DLs), are unable to capture.…
MILP-SAT-GNN: Yet Another Neural SAT Solver
Franco Alberto Cardillo, Hamza Khyari, Umberto Straccia
We proposes a novel method that enables Graph Neural Networks (GNNs) to solve SAT problems by leveraging a technique developed for applying GNNs to Mixed Integer Linear Programming…
Belief Change based on Knowledge Measures
Umberto Straccia, Giovanni Casini
Knowledge Measures (KMs) aim at quantifying the amount of knowledge/information that a knowledge base carries. On the other hand, Belief Change (BC) is the process of changing beli…