From the 1 of 5 linked papers with an AI index.
5 papers
A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks
Ngoc Thai Le, Thanh Ma, Umberto Straccia
The paper presents a modular neuro‑symbolic system that uses a Swin Transformer to predict multilabel pipe defect codes from images and then applies fuzzy IF‑THEN rules derived fro…
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…