logical geometry

about Leonardi.DB

The Leuven Ontology for Aristotelian Diagrams Database (Leonardi.DB) is a graph-based linked data store of Aristotelian diagrams, based on the eponymous ontology. It is being developed and maintained as part of the Logical Geometry research programme.

The development of Leonardi.DB was funded through the KU Leuven C1 research project 3H180236 (2018-2021). The project team consists of Lorenz Demey, Hans Smessaert, Wouter Termont and Sam Lauriers, with the following division of labor:

  • development of the ontology: Lorenz, Hans and Wouter
  • technical implementation: Wouter
  • data input and annotation: Lorenz and Sam
  • daily maintenance: Lorenz and Hans

Leonardi.DB can be accessed through the red button above, or simply by clicking here.

Make sure to have a look at the publications about Leonardi.DB!

Finally, if you are new to Leonardi.DB, you can consult the tutorial.