A Logic-based Reasoning Framework for Graph Databases

Talk by Davide Di Pierro

Location: APB room 3027
Start: 18. January 2024 at 11:00 am
End: 18. January 2024 at 12:00 pm
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