A Logic-based Reasoning Framework for Graph Databases

Vortrag von Davide Di Pierro

Veranstaltungsort: APB room 3027
Beginn: 18. Januar 2024 um 11:00
Ende: 18. Januar 2024 um 12:00
Event series: Research Seminar Logic and AI
iCal

In many scientific and industrial applications, graph databases are gaining momentum thanks to the competitive performance they offer and their flexibility, not to mention their interpretability. Still, their uses remain somehow limited due to their lack of consistency-checking strategies. Here, I introduce a scheme-based access to data in order to assert constraints and keep consistency, while also opening possibilities for reasoning in logic-based approaches, in a multi-strategy setting. The possible uses and capabilities are still under investigation, but the potentialities in almost every domain seem to be promising.

The talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:

https://bbb.tu-dresden.de/b/pio-zwt-smp-aus