no code implementations • 17 Jul 2023 • Lauren Nicole DeLong, Ramon Fernández Mir, Zonglin Ji, Fiona Niamh Coulter Smith, Jacques D. Fleuriot
Biomedical datasets are often modeled as knowledge graphs (KGs) because they capture the multi-relational, heterogeneous, and dynamic natures of biomedical systems.
1 code implementation • 17 Mar 2023 • Bartosz Piotrowski, Ramon Fernández Mir, Edward Ayers
For this purpose, we designed a custom version of the random forest model, trained in an online fashion.
no code implementations • 14 Feb 2023 • Lauren Nicole DeLong, Ramon Fernández Mir, Jacques D. Fleuriot
As knowledge graphs are becoming a popular way to represent heterogeneous and multi-relational data, methods for reasoning on graph structures have attempted to follow this neurosymbolic paradigm.
1 code implementation • 7 Jan 2021 • Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison
We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.
Algebraic Geometry 14A15, 14-04, 68V20 G.m