La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Validation sémantique dobjets à laide dun modèle de référence et de contraintes appliquée aux expressions temporelles Cyril Faucher, Samnang Chea, Frédéric.

Présentations similaires


Présentation au sujet: "Validation sémantique dobjets à laide dun modèle de référence et de contraintes appliquée aux expressions temporelles Cyril Faucher, Samnang Chea, Frédéric."— Transcription de la présentation:

1 Validation sémantique dobjets à laide dun modèle de référence et de contraintes appliquée aux expressions temporelles Cyril Faucher, Samnang Chea, Frédéric Bertrand, Jean-Yves Lafaye L3i (Informatique, Image et Interaction) Université de La Rochelle – France contact : Ce travail est financé par lAgence Nationale de la Recherche ANR-Contint, projet RelaxMultiMedias 2

2 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Plan Contexte Problématique Validation de la cohérence dexpressions temporelles o Métamodèle temporel et modèle de calendrier o Validation des expressions o Exemple de contrainte Conclusion et perspectives 2

3 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Contexte Proposer un cadre conceptuel et des outils pour acquérir, structurer et manipuler de la connaissance concernant des événements culturels, touristiques et sportifs gérés par des agences de presse Dépêches annonçant des événements : cinéma, théâtres, expositions, etc Textes réglementaires (pêche à pied) 2 3 Géomer – LETG Brest, UEB

4 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Au centre de nos intérêts : les propriétés temporelles i.e., période daccès et périodicité dun événement Contexte 4 Texte réglementaire Les journalistes saisissent des textes dans des dépêches Louverture dun musée Tous les jours de 20h00 à 22h00 sauf le lundi La pêche à a Telline Digging is prohibited each year, from 9 pm to 6 am between July 1 st and August 31 st. Out of these periods, digging is allowed from 3 hours before low tide up to 3 hours after the same low tide (according to the tide almanac in Douarnenez).

5 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Problématique Rester proche du langage des utilisateurs (journalistes) i.e. du langage naturel tout en assurant rigueur et cohérence (formelles) Vérifier la cohérence des propriétés temporelles dun événement : 8 ème jour de la semaine du 8 ème jour de chaque mois au 6 ème jour de chaque mois 5

6 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 De lacquisition à lexploitation de la connaissance métier Acquisition de la connaissance métier Exploitation de la connaissance acquise Processus 6 Validation de la connaissance Texte en langage naturel

7 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Métamodèles et modèles mis en oeuvre 7 Métamodèle Evénements Modèle de Calendrier (Grégorien) Expressions Temporelles (périodiques) Structure dévénements composites conforme à décrit des unités calendaires (reliés par un modèle de correspondance) Métadonnées Spatial sous forme dévénements

8 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Métamodèle temporel et pouvoir dexpression Instants périodiques o 5 fois par jour o Tous les jours o Tous les 1 ers jours o Tous les 3 èmes mois de chaque siècle Intervalles périodiques o Du 1 er jour de chaque mois au 5 ème jour de chaque mois o Du 1 er jour de chaque mois au 5 ème jour de chaque mois de juillet à août 8

9 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Acquisition de la connaissance métier Gestion dévénements périodiques par saisie textuelle contextuelle : grammaire proche du langage naturel (Xtext) par transformations de modèles : intégration de données issues de : Traitement Automatique de la Langue (TAL, ex. TKA) EventsML G2 (XML) Flux dévénements : RSS FNAC, Le Monde iCalendar 9 La grammaire permet de faire le lien entre les métamodèles dEvénement et Temporel Editeur généré

10 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Validation des expressions Exemples de diagnostics 8 ème jour de chaque mois 8 ème jour de chaque semaine 8 ème jour de chaque mois de chaque année (sur-spécification) Validation sémantique Vérification du sens dune expression via des contraintes et un « modèle de référence » Le modèle de référence décrit le calendrier Grégorien sous forme dévénements périodiques e.g., jour, semaine, mois, année, … 10 Validation structurelle - métamodèle o Cardinalités o Un intervalle possède un début et une fin ou bien un début et une durée o Les descripteurs doivent être ordonnés suivant les Unités Calendaires o Classiquement en modélisation => OCL Validation syntaxique - grammaire o Patron textuel guidant linstanciation du modèle Combinaison début + fin : [from … to …] Combinaison début + durée : [from … duration is …] Validation sémantique – connaissance issue du calendrier o JANVIER suit DECEMBRE de lannée précédente o 1minute est constituée de 60 secondes o => Nécessité de spécifier la sémantique du calendrier Ensemble de contraintes non gérées par le système de type et les cardinalités spécifiés dans le métamodèle

11 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Validation des expressions 8 ème jour de chaque mois 8 ème jour de chaque semaine 8 ème jour de chaque mois de chaque année (sur-spécification) Vérification du sens dune expression via des contraintes et un « modèle de référence » Le modèle de référence décrit le calendrier Grégorien sous forme dévénements périodiques e.g., jour, semaine, mois, année, … 11 Validation sémantique Exemples de diagnostics à lissue du processus de validation

12 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Modèle de référence représentant le calendrier Extrait du modèle de référence du calendrier Grégorien 12 Evénement Minute Evénement Heure Evénement Jour réfère

13 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Contrainte utilisant le modèle de référence Les contraintes sont écrites et évaluées en Java. OCL nest pas très adaptés à la gestion et la navigation de plusieurs modèles à différents niveaux 13 Interface Web de saisie réfère conforme à utilise // les 8 èmes jours de chaque semaine each 8th day of each week // les 8 èmes jours de chaque mois each 8th day of each month Données saisies à valider Extrait du modèle de Calendrier // jours par semaine rule "day": 7 times during one 1 weeks period conforme à Métamodèle dexpressions temporelles Contrainte sur la classe RegleDescripteur en terme de fréquence desc n.rang <= freq(desc n.unite, desc n+1.unite)

14 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Exprimer la contrainte dans dautres langages 14 En OCL context RegleDescripteur inv : self.descripteurs->forAll( desc | if desc.unite="seconde" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="minute" then desc.rang<= 60 else if desc.unite="minute" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="heure" then desc.rang<= 60 else if desc.unite="heure" and self.descripteurs.at(self.descripteurs.indexOf(desc)).unite="jour" then desc.rang<= 24 … endif ) Contrainte sur la classe RegleDescripteur en terme de fréquence desc n.rang <= freq(desc n.unite, desc n+1.unite)

15 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Exprimer la contrainte dans dautres langages 15 Contrainte sur la classe RegleDescripteur en terme de fréquence desc n.rang <= freq(desc n.unite, desc n+1.unite) Base de faits Prolog

16 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Conclusion et perspectives Définition dun modèle sémantique décrivant le calendrier à laide dévénements périodiques Exploitation du modèle de calendrier à laide de contraintes pour valider des expressions temporelles Assister et contrôler la saisie dinformations temporelles périodiques décrivant des événements issus de dépêches dinformation Extensibilité : lutilisateur peut ajouter de règles temporelles Développer de nouvelles contraintes Prise en compte de nouveaux calendriers (lunaire, administratif, républicain) Proposer des corrections en sappuyant sur le diagnostic ex. : rang, unité 16

17 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Merci de votre attention 17

18 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 An Algebraic Representation of Calendars, Ning Peng, X. Sean Wang 18

19 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 De lacquisition à lexploitation de la connaissance métier Acquisition de la connaissance métier Validation de la connaissance Exploitation de la connaissance acquise Recoupement temporel dévénements Du texte en langage naturel à une syntaxe contrôlée RelaxMultiMedias 2 Législation de la pêche à pied 19

20 Cyril Faucher L3i (Informatique, Image et Interaction), Université de La RochelleIDM11 Relation entre événements et éléments du métamodèle Relation entre un événement et un élément du métamodèle temporel « conforme à », réutilisation du langage pour sauto-définir « réfère », relation entre lévénement périodique et lélément du métamodèle quil décrit 20


Télécharger ppt "Validation sémantique dobjets à laide dun modèle de référence et de contraintes appliquée aux expressions temporelles Cyril Faucher, Samnang Chea, Frédéric."

Présentations similaires


Annonces Google