ONTOLIGENCE

Welcome!

While I am still chasing one of my biggest dreams, becoming a mathematician, I have been following two others that have long fascinated me: Leibniz’ calculus ratiocinator and Ada Lovelace’s vision of machines capable of doing science.

A dreamer and a realist should never speak to each other. When they do, both fall silent and disheartened: the former ignoring reality’s weight and the latter sabotaging dreams. That is why the dreamer, who rejoices in the imaginative beauty of machine science and the realist, who confronts the limits of mathematics, machines, and philosophy, need a mediator. I am here to build the bridge: my research is grounded in four interwoven concepts: scientific discovery, reasoning, (machine) understandability, and (machine) explainability. 

Ontoligence refers to the goal of representing the reality of the world in a characteristica universalis and processing these representations in machines to produce scientific knowledge: 

Ontology + (Machine) Intelligence

Thus, this webpage is dedicated to my questions, research, and reflections on these topics, plus applied ontology, applied category theory, eXplainable AI, LLMs and KGs, and others. You will also find other bits and pieces of my work here.

Enjoy & Feel free to get wonderfully lost!