Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits
Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1
OWL 2 DL ontologies, grounded in the description logic , express large knowledge bases in biomedicine and the Semantic Web. Neuro-symbolic (NeSy) learners over des…
cs.AI2026
Moose: Latent concept learning with reasoning-shortcut awareness in
Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1
The OWL 2 EL profile is used in some of the largest production ontologies, including the Gene Ontology and SNOMED CT. Existing neuro-symbolic (NeSy) learning methods accept proposi…
cs.AI2025
Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
Fernando Zhapa-Camacho, Robert Hoehndorf
Multi-hop logical reasoning on knowledge graphs requires faithfully mapping the logical semantics to latent space. Current geometric embedding methods show to be useful on this tas…