2026
Formal Reasoning with Learned Predicates (Extended Abstract)
This paper provides its computational complexity analysis for ontologies specified in (the Description Logic counterpart of) RDFS, and binary Multi-Layer Perceptrons, and binary Multi-Layer Perceptrons.
Gianluca Cima, Marco Console, Laura Papi
· Digital library · 0 citations