Valda Seminar: Michaël Thomazo

Postponed. ENS, S16 Capturing Homomorphism-Closed Decidable Queries with Existential Rules Existential rules are a well studied ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are…

Continue reading

Valda Seminar: Davide Benedetto and Shrey Mishra

12 March 2021, 10:30-11:30 Online seminar: https://bbb.di.ens.fr/b/cam-pz6-kdj Traversal algorithms and heuristics for reasoning over logic based knowledge graphs (Davide Benedetto) Knowledge Graphs (KGs) provide a concise and intuitive abstraction for a variety of domains where edges capture the (potentially recursive) relationships between the entities. This is leading to the rise…

Continue reading

Valda Seminar: Liat Peterfreund and Yann Ramusat

5 March 2021, 10:30-11:30 Online seminar: https://bbb.di.ens.fr/b/cam-pz6-kdj Grammars for Document Spanners (Liat Peterfreund) We propose a new grammar-based language for defining information-extractors from documents (text) that is built upon the well-studied framework of Document Spanners for extracting structured data from text. While previously studied formalisms for document spanners are mainly…

Continue reading

Valda Seminar: Meghyn Bienvenu

Meghyn Bienvenu, CNRS, University of Bordeaux 18 December 2020, 10:30-11:30 Online seminar: https://bbb.di.ens.fr/b/cam-pz6-kdj Preferred repairs over inconsistent knowledge bases and connections to argumentation A fundamental notion when reasoning over inconsistent knowledge bases is that of a repair, defined as a maximal subset of the data that is consistent w.r.t. the…

Continue reading