26 citations · 26 across the 8 of their papers we have counts for
9 papers
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…
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…
A homotopy-type-theoretic generalization of neurosymbolic inference
Fernando Zhapa-Camacho, Robert Hoehndorf
A wide range of neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of -structures, of which weighted model counting, f…
INDIGENA: inductive prediction of disease-gene associations using phenotype ontologies
Fernando Zhapa-Camacho, Robert Hoehndorf
Motivation: Predicting gene-disease associations (GDAs) is the problem to determine which gene is associated with a disease. GDA prediction can be framed as a ranking problem where…
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…
DELE: Deductive Embeddings for Knowledge Base Completion
Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf
Ontology embeddings map classes, roles, and individuals in ontologies into , and within similarity between entities can be computed or new axioms infer…