Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Large-scale Heterogeneous DAta and Knowledge
Witness Generation for JSON Schema
Mohamed-Amine BAAZIZI

30 May 2022, 00:00
Salle/Bat : 455/PCRI-N
Contact :

Activités de recherche : Data-Centric Languages and Systems

Résumé :
JSON Schema is becoming the standard language for describing JSON datasets.
It is an expressive language combining structural assertions with Boolean operators, and featuring negation and recursion.
Many interesting problems like schema satisfiability, inclusion, and equivalence are decidable and can reduced to the witness generation problem.
Despite the importance of this problem, no generation algorithm has yet been formally described.
I will introduce a first algorithm for JSON Schema witness generation that we defined, implemented, and experimented over several schema collections.

Pour en savoir plus : https://webia.lip6.fr/~baazizi/
Séminaires
On the Interplay between Software Product Lines an
Automated Reasoning
Tuesday 18 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Automated Reasoning
Thursday 13 October 2022 - 10:30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Automated Reasoning
Tuesday 11 October 2022 - 14:15
Salle : 2013 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 22 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Automated Reasoning
Thursday 01 September 2022 - 10:30
Salle : 2011 - DIG-Moulon
Antoine Chambaz .............................................